Theorem MonovaryOn.sum_mul_sum_le_card_mul_sum

Modification history