Theorem Equiv.Perm.mem_cycleFactorsFinset_support

Modification history