Theorem Finset.sup_inf

Modification history