Theorem Finset.min_le_card_mul

Modification history