Theorem Finset.inf_sup_inf

Modification history