Theorem Equiv.Perm.commute_iff_of_mem_cycleFactorsFinset

Modification history