Def Equiv.arrayEquivList

Modification history

2023-08-10 19:52

Mathlib/Logic/Equiv/Array.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified Equiv.arrayEquivList View on Github →

2023-06-27 15:37

Mathlib/Logic/Equiv/Array.lean

feat: port Logic.Equiv.Array (#1733)

Added Equiv.arrayEquivList View on Github →