Continuous bijection of the real line is monotone
= Continuous bijection of the real line is monotone
Every continuous injective function from a real interval to the real line is strictly monotone. A continuous bijection $\mathbb R\to\mathbb R$ therefore has a continuous inverse.