Theorem Set.injective_iff_injective_of_iUnion_eq_univ

Modification history