commit: a7b0bb19af12843e0bf98ae49c153fd12eeb77f8

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

Mon Dec 02 21:41:32 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Mon Dec 02 21:41:32 2024 +1100
tree: 099efa2624b1a8f29be22c8db308e4a21be57670
parent: 6fcf35e930d44038e63105a4fadd42d2a756b461 [diff]

chore: missing Array/Vector injectivity lemmas

2 files changed

tree: 099efa2624b1a8f29be22c8db308e4a21be57670

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