commit: f9b39e4fe24e86c55010ff9ec62be2df05b0be84

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

Thu Nov 07 09:45:51 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Thu Nov 07 09:45:51 2024 +1100
tree: 575e2d2bc254c9ec0a9f404cd646fe5b71878bdb
parent: 14c3d4b1a6cd6b9a755c952a2fa8f4c205c4b3e4 [diff]

feat: minor lemmas about List.ofFn

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

1 file changed

tree: 575e2d2bc254c9ec0a9f404cd646fe5b71878bdb

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