publication venue for The Profinite Dimensional Manifold Structure of Formal Solution Spaces of Formally Integrable PDEs 2017 On Orbifold Criteria for Symplectic Toric Quotients 2013