Theorem Finset.card_le_card_mul_left_of_injective

Modification history