I am just testing commit from my laptop

omegacat.tex

@@ -426,4 +426,5 @@ n\Grph  \ar[r] & (n \shortminus 1)\Grph.
 \end{lemma}
 \begin{proof}
   \todo{...}
+  test
   \end{proof}