Theorem Equiv.Perm.Disjoint.disjoint_cycleFactorsFinset

Modification history