Theorem Finset.sup_univ_eq_ciSup

Modification history