Theorem Equiv.Perm.mem_support_iff_mem_support_of_mem_cycleFactorsFinset

Modification history