ArrayMap

📁 Source: Batteries/Data/List/ArrayMap.lean

Statistics

Metric	Count
Definitions toArrayMap	1
Theorems toArrayMap_eq_toArray_map, toArrayMap_toList	2
Total	3

List

Definitions

Name	Category	Theorems
toArrayMap 📖	CompOp	2 math math: toArrayMap_toList, toArrayMap_eq_toArray_map

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
toArrayMap_eq_toArray_map 📖	mathematical	—	toArrayMap	—	toArrayMap_toList
toArrayMap_toList 📖	mathematical	—	toArrayMap	—	—

---

← Back to Index