Theorem Subspace.exists_eq_top_of_iUnion_eq_univ

Modification history