-#LyX file created by tex2lyx 2.2
-\lyxformat 505
+#LyX file created by tex2lyx 2.4
+\lyxformat 612
\begin_document
\begin_header
\save_transient_properties true
\begin_modules
theorems-ams
\end_modules
-\maintain_unincluded_children false
+\maintain_unincluded_children no
\language english
\language_package default
\inputencoding iso8859-15
\font_default_family default
\use_non_tex_fonts false
\font_sc false
-\font_osf false
+\font_roman_osf false
+\font_sans_osf false
+\font_typewriter_osf false
\font_sf_scale 100 100
\font_tt_scale 100 100
+\use_microtype false
+\use_dash_ligatures true
\graphics default
\default_output_format default
\output_sync 0
\suppress_date false
\justification true
\use_refstyle 0
+\use_minted 0
+\use_lineno false
\index Index
\shortcut idx
\color #008000
\tocdepth 3
\paragraph_separation indent
\paragraph_indentation default
-\quotes_language english
+\is_math_indent 0
+\math_numbering_side default
+\quotes_style english
+\dynamic_quotes 0
\papercolumns 1
\papersides 1
\paperpagestyle default
\tracking_changes false
\output_changes false
+\change_bars false
\html_math_output 0
\html_css_as_file 0
\html_be_strict false
+\docbook_table_output 0
+\docbook_mathml_prefix 1
\end_header
\begin_body
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