Loading paper
Long colimits of topological groups III: Homeomorphisms of products and coproducts | Tomesphere