Referenced by:

- topology-Rn-compact-iff-closed-n-bounded
- topology-closed-subspace-of-paracompact-is-paracompact
- topology-closures-in-subspace-topologies
- topology-connected-sandwich
- topology-connectedness-of-linear-continuums
- topology-connectedness-preserved-by-finite-cart-prod
- topology-convergent-sequences-under-continuous-functions
- topology-equiv-of-regularity-and-normality
- topology-open-coverings-of-paracompact-spaces