Theorem Finset.card_le_card_mul_self₀

Modification history