commit: dd1fd4dd679ffe162bc3f76c89705af60a378163

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

Wed Sep 25 10:56:06 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Sep 25 10:56:06 2024 +1000
tree: cc08ab8b93e1b1d5c55d3b5f70d2331558e03c81
parent: ea75c924a1ab4bb25f4d2e144a141f899da7ba32 [diff]

chore: missing List.set_replicate_self

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

1 file changed

tree: cc08ab8b93e1b1d5c55d3b5f70d2331558e03c81

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