commit: 5482be42982b7571287b04092d42d3c19b033752

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

Tue Feb 04 23:01:12 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Feb 04 23:01:12 2025 +1100
tree: efaed151a742201441447c2b5ecad2af0e0a120c
parent: 412389f71f8a24307e3adba69b38b4b685b04f72 [diff]

feat: align List/Array/Vector.insertIdx lemmas

11 files changed

tree: efaed151a742201441447c2b5ecad2af0e0a120c

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