Theorem Finset.sup_inf_sup

Modification history