Theorem Equiv.Perm.IsCycle.cycleFactorsFinset_eq_singleton

Modification history