Changed name of games

This commit is contained in:
2023-05-25 09:12:14 +02:00
parent a6df684450
commit c9fee59d7c
8 changed files with 11 additions and 11 deletions

View File

@@ -1 +1 @@
\subsection{Bounds on OMDlog'} \label{sec:somdl}
\subsection{Bounds on \somdl} \label{sec:somdl}