Referenced by:

• 13584614557664389747r
• 29195558603518770648r
• 48515043183684817346r
• 51356226470179821328r
• 92005738005477300873r
• order-top-with-lub
• topology-connectedness-of-linear-continuums
• topology-order-vs-subspace-topology-on-convex-subset