Spec: use m' instead of n for the fanout redeemer outputs

spec/onchain.tex

@@ -579,13 +579,13 @@ \subsection{Fan-Out Transaction}
 \end{figure}
 
 \noindent The state-machine validator $\nuHead$ is spent with
-$\redeemerHead = (\mathsf{fanout}, m\red{, n})$, where $m$ \red{and $n$ are
+$\redeemerHead = (\mathsf{fanout}, m\red{, m'})$, where $m$ \red{and $m'$ are
 	outputs to distribute from the $\stClosed$ state}, and checks:
 \begin{menumerate}
 	\item State is advanced from $\datumHead \sim \stClosed$ to terminal state
 	$\stFinal$: % XXX: What does this actually mean?
 	\[
-		(\stClosed,\cid,\hydraKeys,\cPer,\red{v, s,}\eta,\red{\eta_{\Delta}},\contesters,\Tfinal) \xrightarrow[m\red{,n}]{\stFanout} \stFinal
+		(\stClosed,\cid,\hydraKeys,\cPer,\red{v, s,}\eta,\red{\eta_{\Delta}},\contesters,\Tfinal) \xrightarrow[m\red{,m'}]{\stFanout} \stFinal
 	\]
 	\item The first $m$ outputs are distributing funds according to $\eta$. That is,
 	the outputs exactly correspond to the UTxO canonically combined $U^{\#}$ (see
@@ -597,12 +597,12 @@ \subsection{Fan-Out Transaction}
 		$\eta_{\Delta}$. That is, the outputs exactly correspond to the UTxO canonically
 		combined $U^{\#}_{\Delta}$ (see Section~\ref{sec:collect-tx}):
 		\[
-			\eta_{\Delta} = U^{\#}_{\Delta} = \hash(\bigoplus_{j=m}^{m+n} \bytes(o_{j}))
+			\eta_{\Delta} = U^{\#}_{\Delta} = \hash(\bigoplus_{j=m}^{m+m'} \bytes(o_{j}))
 		\]
 	}
 	\item Transaction is posted after contestation deadline $\txValidityMin > \Tfinal$.
 	\item All tokens are burnt
-	$|\{\cid \mapsto \cdot \mapsto -1\} \in \txMint| = n + 1$.
+	$|\{\cid \mapsto \cdot \mapsto -1\} \in \txMint| = m' + 1$.
 \end{menumerate}
 
 \noindent The $\muHead(\seed)$ minting policy governs the burning of tokens via