Theorem Equiv.Perm.support_toConjAct_eq_smul_support

Modification history

2026-10-01 14:00

Mathlib/GroupTheory/Perm/ConjAct.lean

chore(GroupTheory/Perm/*): switch from `ConjAct` to `MulAut.conj` (#44059) …

Deleted Equiv.Perm.support_toConjAct_eq_smul_support View on Github →

2026-04-28 15:42

Mathlib/GroupTheory/Perm/ConjAct.lean

feat(GroupTheory/SpecificGroups/Alternating/Simple): simplicity of the alternating groups (#36524) …

Added Equiv.Perm.support_toConjAct_eq_smul_support View on Github →