commit: 08db22f3034040fd710bec3990880db7b68f375e

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

Tue Jul 30 19:06:02 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Tue Jul 30 19:06:02 2024 +1000
tree: 5037b3a53a1ec6941260875949722fa236d17195
parent: 6a904f2c8519f8414a1d8241726048f6c8f1a899 [diff]

chore: fix naming of List.Subset lemmas

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

1 file changed

tree: 5037b3a53a1ec6941260875949722fa236d17195

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