Theorem Array.size_mapIdx

Modification history

2022-09-23 00:56

Mathlib/Data/Array/Basic.lean

chore: update lean + std4 09-22 (#435)

Deleted Array.size_mapIdx View on Github →

2022-08-24 11:40

Mathlib/Data/Array/Basic.lean

feat: `Array.ofFn` and lemmas (#381) …

Added Array.size_mapIdx View on Github →