Theorem Finset.inf_mul_right

Modification history