Revert fanout m' renaming

spec/onchain.tex

@@ -565,7 +565,7 @@ \subsection{Fan-Out Transaction}
 distributes UTxOs from the head according to the latest state. It consists of
 \begin{itemize}
 	\item one input spending from $\nuHead$ holding the $\st$, and
-	\item outputs $o_{1} \dots o_{m\red{+m'}}$ to distribute UTxOs.
+	\item outputs $o_{1} \dots o_{m\red{+n}}$ to distribute UTxOs.
 \end{itemize}
 
 Note that \mtxFanout{} represents a final transition of the state machine and
@@ -579,30 +579,30 @@ \subsection{Fan-Out Transaction}
 \end{figure}
 
 \noindent The state-machine validator $\nuHead$ is spent with
-$\redeemerHead = (\mathsf{fanout}, m\red{, m'})$, where $m$ \red{and $m'$ are
+$\redeemerHead = (\mathsf{fanout}, m\red{, n})$, where $m$ \red{and $n$ 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{,m'}]{\stFanout} \stFinal
+		(\stClosed,\cid,\hydraKeys,\cPer,\red{v, s,}\eta,\red{\eta_{\Delta}},\contesters,\Tfinal) \xrightarrow[m\red{,n}]{\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
 	Section~\ref{sec:collect-tx}):
 	\[
 		\eta = U^{\#} = \hash(\bigoplus_{j=1}^{m} \bytes(o_{j}))
 	\]
-	\red{\item The following $m'$ outputs are distributing funds according to
+	\red{\item The following $n$ outputs are distributing funds according to
 		$\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+m'} \bytes(o_{j}))
+			\eta_{\Delta} = U^{\#}_{\Delta} = \hash(\bigoplus_{j=m}^{m+n} \bytes(o_{j}))
 		\]
 	}
 	\item Transaction is posted after contestation deadline $\txValidityMin > \Tfinal$.
 	\item All tokens are burnt
-	$|\{\cid \mapsto \cdot \mapsto -1\} \in \txMint| = m' + 1$.
+	$|\{\cid \mapsto \cdot \mapsto -1\} \in \txMint| = n + 1$.
 \end{menumerate}
 
 \noindent The $\muHead(\seed)$ minting policy governs the burning of tokens via