Kurs:Grundkurs Mathematik/Dezimalbruch/Halbierung/Algorithmus/Korrektheit/Fakt/Faktreferenznummer

Lemma 26.13 (Grundkurs Mathematik (Osnabrück 2022-2023))