Theorem Finset.inf_div_right

Modification history