Referenced by:

• cats-skeleton
• ucb-catthy-03
• ucb-metamathematics-b-06
• le-rx-AyOhTqmy2Y
• le-rx-x2xe3xmbJv
• logic-compactness
• math-what-wasnt-taught
• orders-as-graphs
• topology-connected-sandwich
• topology-connectedness-preserved-by-finite-cart-prod