Theorem Equiv.Perm.subtypePerm_on_cycleFactorsFinset

Modification history