Theorem Finset.le_card_infs_mul_card_sups

Modification history