commit: 9d021c1d00515ee066e130cd57b8c982c5c20392

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Thu Feb 15 19:17:53 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Thu Feb 15 19:17:53 2024 +1100
tree: 871cee0c1796c4a040d8ff0806080e3c7ea9c7be
parent: fae5b2e87c297e9c392e28089ddd6f9bfc2bdd55 [diff]

chore: a missing List lemma in Init

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

1 file changed

tree: 871cee0c1796c4a040d8ff0806080e3c7ea9c7be

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.