Def Array.permute!

Modification history

2023-04-28 06:56
Mathlib/Data/Array/Defs.lean
perf: improve performance of `to_additive` (#3632) …
Added Array.permute!View on Github →