commit: cb5b0333caa5e3e5b852c918a570081c99e10fbb

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

Wed Mar 12 14:51:49 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Wed Mar 12 14:51:49 2025 +1100
tree: 80795b0a56729bef8bdcfda378ffb686a9bf1baf
parent: 2952cf81e6089626f96321b44307d2222bc74d03 [diff]

chore: better hypothesis for Vector.getElem_take

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

1 file changed

tree: 80795b0a56729bef8bdcfda378ffb686a9bf1baf

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