nLab
infinite dimensional smooth manifold