Referenced by:

• topology-closed-subspace-of-paracompact-is-paracompact
• topology-closures-in-subspace-topologies
• topology-connected-sandwich
• topology-connectedness-preserved-by-finite-cart-prod
• topology-convergent-sequences-under-continuous-functions
• topology-net
• topology-open-coverings-of-paracompact-spaces