Lemma 11.5 Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil I/Vorlesung 11
Kommutativer Halbring/0 mal 0/Fakt