Theorem Finset.prod_min_le

Modification history