lie-algebras-and-their-representations

diff --git a/sections/mathieu.tex b/sections/mathieu.tex
@@ -183,6 +183,8 @@
 % TODO: Note that the semisimplification is only defined up to isomorphism: the
 % isomorphism class is independant of the composition series because all
 % composition series are conjugate
+% TODO: Note that the semisimplification is independent of the choice of
+% representatives
 \begin{corollary}
   Let \(\{\lambda_i\}_i\) be a set of representatives of the \(Q\)-cosets of
   \(\mathfrak{h}^*\). Given a coherent family \(\mathcal{M}\) of degree \(d\)
@@ -274,7 +276,7 @@
   \[
     (\operatorname{Ext}(V))[\lambda]
     \cong \mathcal{M}^{\operatorname{ss}}[\lambda]
-    = \bigoplus_i \mfrac{\mathcal{M}_{i + 1}[\lambda]}{\mathcal{M}_i[\lambda]},
+    = \bigoplus_i \mfrac{\mathcal{M}_{i + 1}}{\mathcal{M}_i},
   \]
   so that \(V\) is contained in \((\operatorname{Ext}(V))[\lambda]\).