Theorem Finset.card_le_card_of_forall_subsingleton

Modification history