Twitter FeedJul 18, 2021, 11:42 PM @RikerGoogling ("Riker Googling") wrote: does the existence of subspace imply the existence of domspace