commit: 9d8dc1a5565f36302e7072a08b67f6a4809f6f7b

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

Thu Apr 10 09:27:55 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Thu Apr 10 09:27:55 2025 +1000
tree: 4c46ed6cfa25882fccc24411541680643894bc2b
parent: a5ddc8f4f9e23ed85fe62d36bbda509f5ba4a19a [diff]

missing theorem

src/Init/Data/Int/Order.lean[diff]

1 file changed

tree: 4c46ed6cfa25882fccc24411541680643894bc2b

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 (documentation source: doc/make/index.md).