Theorem Finset.card_mul_le

Modification history