A weaker smoothness criterion for the inverse function theorem, the intermediate value theorem, and the mean value theorem in a non-Archimedean setting

From MaRDI portal
Publication:6107468