Implicit functions from locally convex spaces to Banach spaces
scientific article; zbMATH DE number 1292186