commit: 8beaca34fd45dfe9c6189112c5b2d7a10af3fabd

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

Wed Nov 06 20:44:24 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Wed Nov 06 20:44:24 2024 +1100
tree: 399f36c7f2aa1371335e769999309b6ec404b32f
parent: 4df71ed24f4be25ba0045b4963a03087d2302fa9 [diff]

feat: add another List.find?_eq_some lemma

3 files changed

tree: 399f36c7f2aa1371335e769999309b6ec404b32f

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