Theorems on the smoothness of the right inverse

From MaRDI portal