commit: c22ff8abd058da496e61bd43d68936832a6db013

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

Mon Aug 25 15:07:54 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Aug 25 15:07:54 2025 +1000
tree: c30d7e1b62ba25faf223ab48fe13b0c581cf54f7
parent: 9be2eab93d597dbd73671826a5df8245b4ee355b [diff]

feat: Lean.Grind.AddCommGroup instance for Rat

src/Init/Data/Rat/Lemmas.lean[diff]
src/Init/GrindInstances.lean[diff]
src/Init/GrindInstances/Rat.lean[Added - diff]

3 files changed

tree: c30d7e1b62ba25faf223ab48fe13b0c581cf54f7

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.