Theorem Finset.sup'_product_right

Modification history