Mike's puntuation fix in 141

errors in formulas

141.tex

@@ -157,7 +157,7 @@ \subsection{Induction over Recursively Defined Structures}
 For a property $Q\subseteq\mathbb{N}\times\mathbb{N}$, we get the
 inductive principle
 \begin{multline*}
-\forall k\in\mathbb{N}.Q\left(0,k+1\right)\land\forall m,n\in\mathbb{N}.,\left[SL\left(m,n\right)\land Q\left(m,n\right)\rightarrow Q\left(m+1,n+1\right)\right]\\
+\forall k\in\mathbb{N}.Q\left(0,k+1\right)\land\forall m,n\in\mathbb{N}.\left[SL\left(m,n\right)\land Q\left(m,n\right)\rightarrow Q\left(m+1,n+1\right)\right]\\
 \rightarrow\forall m,n\in\mathbb{N}.\left[SL\left(m,n\right)\rightarrow Q\left(m,n\right)\right]
 \end{multline*}