Theorem Equiv.Perm.cycleFactorsFinset_eq_finset

Modification history