Talk:Union from Synthetic Basis is Topology