Theorem Finset.sup'_eq_sup

Modification history