commit: 6169cf6543b1da0d51607f3ad0f39786de3eb81e

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

Mon Oct 14 15:52:31 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Mon Oct 14 15:52:31 2024 +1100
tree: d0ac846bdee8b14870c201e3e1697d0751a5c480
parent: 1d8555fe0bdd02c82664446309b2e167ac89c9e9 [diff]

feat: upstream List.mapIdx, and add lemmas

src/Init/Data.lean[diff]
src/Init/Data/Fin/Lemmas.lean[diff]
src/Init/Data/Function.lean[Added - diff]
src/Init/Data/List.lean[diff]
src/Init/Data/List/Basic.lean[diff]
src/Init/Data/List/Lemmas.lean[diff]
src/Init/Data/List/MapIdx.lean[Added - diff]
src/Init/Data/List/Nat/Range.lean[diff]
src/Init/Data/List/Zip.lean[diff]

9 files changed

tree: d0ac846bdee8b14870c201e3e1697d0751a5c480

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