Theorem Equiv.Perm.card_cycleType_eq_zero

Modification history