Theorem Equiv.Perm.one_lt_card_support_of_ne_one

Modification history