coloring_nested_tire_graphs: fix \newtheorem{lem} preamble for the proof lemmas

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
This commit is contained in:
2026-05-26 22:24:54 -04:00
parent 410c2a1b35
commit 0cb0137a75
2 changed files with 1 additions and 0 deletions
@@ -11,6 +11,7 @@
\newtheorem*{obs}{Observation}
\newtheorem*{prop}{Proposition}
\newtheorem*{lem}{Lemma}
\begin{document}
\maketitle