commit: 6f978fcb30065a781aa1ac260b6f7cb2e91f92c5

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

Mon Aug 26 10:20:03 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Aug 26 10:20:03 2024 +1000
tree: 4e610acac821a2f1c728943d69a44391c9bd58eb
parent: cee84286e6a6c2716aac8ddcdb552e830f760033 [diff]

feat: head/getLast lemmas for List.range

src/Init/Data/List/Nat/Range.lean[diff]

1 file changed

tree: 4e610acac821a2f1c728943d69a44391c9bd58eb

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