commit: 24cb7d92497b1822ea64de7a0c07b87ec6dcb1e6

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

Mon Jun 16 22:58:14 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Jun 16 22:58:14 2025 +1000
tree: 76f13afa24922fddc0d0e7895f1366a2b61ec48b
parent: 242429a262cd4a4d933da682480b32a41a8896fd [diff]

feat: lemmas about ordered modules

2 files changed

tree: 76f13afa24922fddc0d0e7895f1366a2b61ec48b

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.