[Merged by Bors] - feat(Topology/Order): DenselyOrdered of PreconnectedSpace
#37935
+10
−1
Loading