Function from R to R is strictly monotonic iff it is injective - O-Umlaut

Theorem Function from R to R is [[Monotone Real Function|strictly montonic]]iff it is [[Injection|injective]]