Referenced by:

• 37599550788390916273r
• smirnov-metrization
• topology-closed-subspace-of-paracompact-is-paracompact
• topology-metrizable-spaces-are-paracompact
• topology-open-coverings-of-paracompact-spaces