commit: 82c9ac9e2983a5437b4ef64ed261cf7d6dc62375

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

Fri Oct 25 15:07:32 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Fri Oct 25 15:07:32 2024 +1100
tree: 071fc625308187bbd3835fe51610326bd025fa10
parent: 7150a0d5389788e0985705f163e335c7442a2aba [diff]

chore: minor fixes in Array lemmas

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

1 file changed

tree: 071fc625308187bbd3835fe51610326bd025fa10

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