Expii

# Extension: Continuous Injections Are Monotone - Expii

A continuous function f: [a,b] -> R is injective (one-to-one) if and only if it is strictly monotone (either strictly increasing or strictly decreasing).