Referenced by:

• smirnov-metrization
• topology-closed-subspace-of-paracompact-is-paracompact
• topology-open-coverings-of-paracompact-spaces