Theorem Equiv.Perm.card_of_cycleType

Modification history