Theorem Equiv.Perm.card_cycleType_eq_one

Modification history