Theorem Finset.inf_univ_eq_iInf

Modification history