Theorem Equiv.Perm.mem_cycleFactorsFinset_conj'

Modification history

2026-10-01 14:00

Mathlib/GroupTheory/Perm/ConjAct.lean

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

Modified Equiv.Perm.mem_cycleFactorsFinset_conj'View on Github →

2024-09-18 07:39

Mathlib/GroupTheory/Perm/ConjAct.lean

feat: lemmas on permutations, cycles, etc. (#9602) …

Added Equiv.Perm.mem_cycleFactorsFinset_conj'View on Github →