Theorem Finset.inf_div_left

Modification history