Referenced by:

• 2023-03-17-diagrammatic-proofs
• group-coset
• open-closed-covering
• paracompact
• sets-partition
• topology-compact
• topology-finite-product-topology
• topology-via-grazing