Definition 4.10 Kurs:Mathematik (Osnabrück 2009-2011)/Teil I/Vorlesung 4
Natürliche Zahlen/Multiplikation mit n/Definition