commit: f67921c1a2ecf8d44b3f9c9af98658cee9ad677b

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

Thu Jan 16 16:27:08 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Thu Jan 16 16:27:08 2025 +1100
tree: 1adc5263112c20938f3ca39bf40d1eab8c9ce41b
parent: b0fa226d569299ef5ffc7def5224dda18df65bc2 [diff]

generalize to flatten

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

1 file changed

tree: 1adc5263112c20938f3ca39bf40d1eab8c9ce41b

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