commit: ea675157789465324bafd32a85c8286bfd59a07b

[log]
author: Kim Morrison <kim@tqft.net>

Tue Jun 17 15:31:35 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Tue Jun 17 15:31:35 2025 +1000
tree: 793cd3d36d3e9846480dad4f84cb8ad0acc7cddd
parent: f557bf60242b6f989534d9ea896eb8c55787ab56 [diff]

feat: define the CommRing envelope of a CommSemiring

src/Init/Grind/Module/Basic.lean[diff]
src/Init/Grind/Ring.lean[diff]
src/Init/Grind/Ring/Envelope.lean[Added - diff]
src/Init/GrindInstances.lean[diff]
src/Init/GrindInstances/Nat.lean[Added - diff]

5 files changed

tree: 793cd3d36d3e9846480dad4f84cb8ad0acc7cddd

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.