Theorem Finset.max_prod_le

Modification history