Theorem Set.subset_univ

Modification history