Theorem Equiv.Perm.Disjoint.cycleFactorsFinset_mul_eq_union

Modification history