Theorem Finset.card_le_one_of_subsingleton

Modification history