Def Array.ofFn

Modification history

2022-09-04 16:26

Mathlib/Data/Array/Defs.lean

feat: depend on std4 (#397)

Deleted Array.ofFn View on Github →

2022-08-24 11:40

Mathlib/Data/Array/Defs.lean

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

Added Array.ofFn View on Github →