Theorem Equiv.Perm.isCycleOn_support_of_mem_cycleFactorsFinset

Modification history

2024-11-06 17:23
Mathlib/GroupTheory/Perm/Cycle/Factors.lean
feat: several results on permutations, cycles, etc (#17046) …
Added Equiv.Perm.isCycleOn_support_of_mem_cycleFactorsFinsetView on Github →