Theorem Equiv.Perm.two_le_card_support_cycleOf_iff

Modification history