Theorem Set.eq_univ_of_subset

Modification history