update: auto commit

2026-04-10 00:23:41 -04:00
parent c39e3180c9
commit fdbeaaa30b
1 changed files with 1 additions and 1 deletions
@@ -345,7 +345,7 @@
    \end{figure}
  \end{frame}
-    \begin{frame}{Searching for a first order Z4c}{Why not existing first order formulations}
+    \begin{frame}{Why not existing first order formulations?}
    \begin{itemize}
      \item GH
      \begin{itemize}