Theorem Subspace.biUnion_ne_univ_of_ne_top

Modification history