Mathematics for Applied Sciences (Osnabrück 2023-2024)/Real function/Theorem of Rolle/Fact/Factreferencenumber