Theorem Set.surjective_iff_surjective_of_iUnion_eq_univ

Modification history