Indexes
📁 Source: Mathlib/Data/List/Indexes.lean
Statistics
| Metric | Count |
|---|---|
| Definitions | 0 |
| 4 | |
| Total | 4 |
List
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
mapIdxM'_eq_mapIdxM 📖 | mathematical | — | mapIdxM' | — | mapIdxMAux'_eq_mapIdxMGo |
mapIdxMAux'_eq_mapIdxMGo 📖 | mathematical | — | mapIdxMAux' | — | — |
mapIdx_append_one 📖 | — | — | — | — | — |
mapIdx_eq_ofFn 📖 | — | — | — | — | — |
---