commit: ac6a29ee834ba7fd30e9372e51493d7741e9c657

[log]
author: Kim Morrison <scott.morrison@gmail.com>

Mon Jan 20 15:06:37 2025 +1100
committer: GitHub <noreply@github.com>

Mon Jan 20 04:06:37 2025 +0000
tree: 1961e718588f50c6cf16c4ac4af0c72278aa3241
parent: 57f0006c9bdd971b637719e5f72d4be1f70e4e7b [diff]

feat: complete alignment of `{List,Array,Vector}.{mapIdx,mapFinIdx}` (#6701)

This PR completes aligning `mapIdx` and `mapFinIdx` across
`List/Array/Vector`.

7 files changed

tree: 1961e718588f50c6cf16c4ac4af0c72278aa3241

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