Theorem Finset.top_eq_univ

Modification history