. . "Banach manifold"@en .