Theorem Finset.card_le_card_of_surjOn

Modification history