Def Equiv.Perm.modSwap

Modification history

2024-03-04 10:56

Mathlib/GroupTheory/Perm/Sign.lean

chore(GroupTheory/Perm/Cycle/Basic): Split (#10907) …

Modified Equiv.Perm.modSwap View on Github →

2023-02-27 13:06

Mathlib/GroupTheory/Perm/Sign.lean

feat: port GroupTheory.Perm.Sign (#2458)

Added Equiv.Perm.modSwap View on Github →