commit: 25b4374734e454252d9134a19878b8a3018dbd62

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

Sun Aug 24 20:45:19 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Sun Aug 24 20:45:19 2025 +1000
tree: 59d67a037be031491244c14732597807f75516ee
parent: dfdd682c017a96896d8cfa683f510dd2e0491752 [diff]

chore: protect some theorems in the Rat namespace

src/Init/Data/Rat/Lemmas.lean[diff]

1 file changed

tree: 59d67a037be031491244c14732597807f75516ee

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.