commit: 706b80fec5a4f66abfb40d23be766427f0846b3d

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Fri Aug 22 13:26:57 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Aug 22 13:26:57 2025 -0700
tree: b80721e57a469888858958c4f629992b358ea7eb
parent: 6df94385c5f19b89793ed549295e84ebc2e0d822 [diff]

feat: add helper theorems for `NatModule`

This PR adds helper theorems to support `NatModule` in `grind linarith`.

3 files changed

tree: b80721e57a469888858958c4f629992b358ea7eb

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.