Mathematics for Applied Sciences (Osnabrück 2023-2024)/Interval/Primitive function/Constant difference/Fact/Factreferencenumber

Lemma 19.6