commit: 1401d96095eff1d701d16bce396303af5022c3c1

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

Tue Sep 16 10:35:22 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Sep 16 10:58:50 2025 -0700
tree: 054d738a95e02fbaa60a13fa49a0985cb651f5e3
parent: f10306afa354cfd47a9b863bc00253c0a7331ad2 [diff]

feat: add helper theorem for normalizing non-commutative semirings

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

1 file changed

tree: 054d738a95e02fbaa60a13fa49a0985cb651f5e3

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.