Theorem Finset.sup'_univ_eq_ciSup

Modification history