Theorem Finset.inf'_eq_inf

Modification history