Theorem Finset.card_le_card_of_injOn

Modification history