commit: 403832c5d9b77def2744ae32e6b5ec07296081d3

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

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

Tue Jun 17 17:51:31 2025 +1000
tree: 19fc3083fdc7c0414ed54de9529084658f03cc2f
parent: 17b133369db3d0547729465a95e338e045b4bd7c [diff]

feat: generalize embedding of CommSemiring into its CommRing envelope to the noncommutative case

src/Init/Grind/Ring/Envelope.lean[diff]

1 file changed

tree: 19fc3083fdc7c0414ed54de9529084658f03cc2f

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.