~mht/cra

f8fb65a44f4b6c4b4baeb0e11d295a5e682ac93e — Martin Hafskjold Thoresen 2 years ago 93e9606
idk lol
2 files changed, 8 insertions(+), 0 deletions(-)

M main.tex
M text.tex
M main.tex => main.tex +1 -0
@@ 29,6 29,7 @@
% \definecolor{lightgrey}{HTML}{f0f0f0}

\newtheorem{definition}{Definition}
\newtheorem{lemma}{Lemma}
% \crefname{definition}{Definition}{Definitions}

\newcommand{\dan}[1]{{\texttt{\color{blue} Dan: [{#1}]}}}

M text.tex => text.tex +7 -0
@@ 30,4 30,11 @@ Two vertices are a 0-cycle however:
the empty cell is shared between both vertices, so the boundary is $\emptyset$,
making it a 0-cycle.

\begin{lemma}
The boundary of a boundary is $\emptyset$.
\begin{proof}

\end{proof}
\end{lemma}