-#LyX file created by tex2lyx 2.3
-\lyxformat 540
+#LyX file created by tex2lyx 2.4
+\lyxformat 573
\begin_document
\begin_header
\save_transient_properties true
\suppress_date false
\justification true
\use_refstyle 0
+\use_minted 0
\index Index
\shortcut idx
\color #008000
\paragraph_separation indent
\paragraph_indentation default
\is_math_indent 0
+\math_numbering_side default
\quotes_style english
\dynamic_quotes 0
\papercolumns 1
The proof is recognized as a builtin style provided by the text class.
\end_layout
-\begin_layout Standard
-
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-\backslash
-begin{lem}
-\end_layout
-
-\end_inset
-
- this is a lemma
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-\backslash
-end{lem}
-\end_layout
-
-\end_inset
-
-
+\begin_layout Lemma
+this is a lemma
\end_layout
\begin_layout Theorem