Theorem Equiv.Perm.sign_subtypePerm

Modification history

2025-05-19 07:54

Mathlib/GroupTheory/Perm/Sign.lean

chore: swap the sides of the argument to `subtypePerm` (#24833) …

Modified Equiv.Perm.sign_subtypePerm View on Github →

2023-02-27 13:06

Mathlib/GroupTheory/Perm/Sign.lean

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

Added Equiv.Perm.sign_subtypePerm View on Github →