Referenced by:

• logic-types-topology
• smirnov-metrization
• topology-locally-compact-hausdorff-iff-homeomorphic-with-open-subspace-of-compact-hausdorff
• topology-open-coverings-of-paracompact-spaces