commit: 3e575b98bf640722e1a4fac2fa6828ec02198c65

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

Tue Jan 28 11:47:25 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Jan 28 11:47:33 2025 +1100
tree: 4f4485d6c43fbfb5a3c0c1d9e8e6e921970896c7
parent: 69a73a18fbfa1fc045bfbf1c4cf93b155d4c9387 [diff]

feat: add Fin.ofNat'_zero

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

1 file changed

tree: 4f4485d6c43fbfb5a3c0c1d9e8e6e921970896c7

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).