Theorem Finset.sup_product_right

Modification history