Theorem Finset.sup_div_right

Modification history