Loading paper
Generalized Whitney Topologies are Baire | Tomesphere