Theorem Finset.univ_sups_univ

Modification history