Def Equiv.Perm.VectorsProdEqOne.vectorEquiv

Modification history

2024-12-15 09:21
Mathlib/GroupTheory/Perm/Cycle/Type.lean
chore: rename Mathlib.Vector to List.Vector (#19930) …
Modified Equiv.Perm.VectorsProdEqOne.vectorEquivView on Github →
2024-12-02 04:16
Mathlib/GroupTheory/Perm/Cycle/Type.lean
chore: bump toolchain to v4.15.0-rc1, and merge bump/v4.15.0 adaptations branch (#19675)
Modified Equiv.Perm.VectorsProdEqOne.vectorEquivView on Github →
2023-04-05 09:20
Mathlib/GroupTheory/Perm/Cycle/Type.lean
feat: port GroupTheory.Perm.Cycle.Type (#3027)
Added Equiv.Perm.VectorsProdEqOne.vectorEquivView on Github →