Closed StrableD closed 11 months ago
Anton und ich finden die Ausrichtung der vollständigen Induktionen bei Tag 3 nicht wirklich schön. Wir finden, dass zu wenig Platz zwischen dem rechten Term und dem Gleichheitszeichen ist.
Anton und ich finden die Ausrichtung der vollständigen Induktionen bei Tag 3 nicht wirklich schön. Wir finden, dass zu wenig Platz zwischen dem rechten Term und dem Gleichheitszeichen ist.