Def Array.cyclicPermute!

Modification history

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