Theorem Finset.min_eq_inf_withTop

Modification history