Theorem Finset.sup_product_left

Modification history