commit: 3578ec59e6fd5715ec844367f15a51f9bf43d483

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

Wed May 21 16:38:18 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Wed May 21 16:38:18 2025 +1000
tree: 939582d9d6f819129dd570265b344f02724414c0
parent: 12b8498a4a293eee904b548914d39609a59e0488 [diff]

ordered rings

src/Init/Grind.lean[diff]
src/Init/Grind/CommRing.lean[diff]
src/Init/Grind/CommRing/Basic.lean[diff]
src/Init/Grind/CommRing/Ordered.lean[Deleted - diff]
src/Init/Grind/Module.lean[diff]
src/Init/Grind/Module/Basic.lean[diff]
src/Init/Grind/Ordered.lean[Added - diff]
src/Init/Grind/Ordered/Int.lean[Renamed from src/Init/Grind/Module/Int.lean - diff]
src/Init/Grind/Ordered/Module.lean[Added - diff]
src/Init/Grind/Ordered/PartialOrder.lean[Added - diff]
src/Init/Grind/Ordered/Ring.lean[Added - diff]

11 files changed

tree: 939582d9d6f819129dd570265b344f02724414c0

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.