Theorem Finset.card_le_card_of_forall_subsingleton'

Modification history