Theorem on the differentiability of the inverse function is false for homeomorphisms of nonnormable Fréchet spaces

From MaRDI portal