commit: e63d4bac7b156db8e64ba325578de8c8b025a79a

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

Thu May 22 21:14:17 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Thu May 22 21:14:17 2025 +1000
tree: c1e7955206cdabc4406017fce6fe1dc6a188d2f3
parent: 4eccb5b4792c270ad10ac059b9672a8845961079 [diff]

feat: lemmas about ordered rings and fields for grind

src/Init/Grind/CommRing/Field.lean[diff]
src/Init/Grind/Ordered.lean[diff]
src/Init/Grind/Ordered/Field.lean[Added - diff]
src/Init/Grind/Ordered/Module.lean[diff]
src/Init/Grind/Ordered/Order.lean[Renamed from src/Init/Grind/Ordered/PartialOrder.lean - diff]
src/Init/Grind/Ordered/Ring.lean[diff]

6 files changed

tree: c1e7955206cdabc4406017fce6fe1dc6a188d2f3

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.