New posts in Inverse Function Theorem

Can we prove that polynomial functions can always be split into bijective restrictions?

A function with a non-zero derivative, with an inverse function that has no derivative.

Differentiable bijection $f:\mathbb{R} \to \mathbb{R}$ with nonzero derivative whose inverse is not differentiable

Inverse Function Theorem and global inverses