commit: 57ea85b00df409b4b54334f5217fc3f69dcfddc9

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

Tue Apr 01 14:45:10 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Apr 01 14:45:10 2025 +1100
tree: 4e8454aa5b145b3f5e6ca393895eb3c3bb5a7863
parent: 34142685a9bb94f8ee75941d17da6366c76b23b8 [diff]

chore: add List.head_singleton theorem

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

1 file changed

tree: 4e8454aa5b145b3f5e6ca393895eb3c3bb5a7863

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