Theorem Equiv.Perm.two_le_card_support_of_ne_one

Modification history