Theorem Subspace.top_mem_of_biUnion_eq_univ

Modification history