Mathematics for Applied Sciences (Osnabrück 2023-2024)/Real closed interval/Strictly increasing/Inverse function/Continuous/Fact/Factreferencenumber

Theorem 11.7