I would really like to get a multiline equation with text explaining each step.
I've got close with
\begin{equation*}
\begin{split}
A \simeq & B \mbox{[Lemma 8.35(iii)]} \\
\simeq & C \mbox{[exactness of first column - see Ex. 5.3]} \\
etc
\end{split}
\end{equation*} `
But I can't get tab spacing between the equation and the message box. Maybe an mbox is not the best way?