Theorem Finset.sup_div_left

Modification history