commit: 187ee8c92ebeb8125b93a563fede9c78d9382bf0

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

Fri Sep 20 10:34:32 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Fri Sep 20 10:34:32 2024 +1000
tree: a27035c9eed211ef3be4907ad095ee6b743d1607
parent: a65475038573622f5a0c115d4ca2f232acab6a03 [diff]

fix namespace

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

1 file changed

tree: a27035c9eed211ef3be4907ad095ee6b743d1607

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