Theorem Finset.sup'_product_left

Modification history