Mathematics for Applied Sciences (Osnabrück 2023-2024)/Real function/Continuous/Addition, multiplication, inverting/Fact/Factreferencenumber

Lemma 10.6