-#LyX file created by tex2lyx 2.1.0dev
-\lyxformat 469
+#LyX 2.2 created this file. For more info see http://www.lyx.org/
+\lyxformat 491
\begin_document
\begin_header
+\origin roundtrip
\textclass amsart
\begin_preamble
\usepackage{babel}
-
\end_preamble
\use_default_options false
\begin_modules
theorems-ams
+eqs-within-sections
+figs-within-sections
\end_modules
\maintain_unincluded_children false
\language english
\use_package stmaryrd 0
\use_package undertilde 0
\cite_engine basic
-\cite_engine_type numerical
+\cite_engine_type default
\biblio_style plain
\use_bibtopic false
\use_indices false
\end_layout
\begin_layout Standard
-The theorem is recognized is a style provided by the module theorems-ams, since the preamble code matches.
+The theorem is recognized is a style provided by the module theorems-ams,
+ since the preamble code matches.
\end_layout
\begin_layout Standard
-The lemma is not recognized as a command provided by a module, since the preamble code is from an older version of
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-LyX
-\end_layout
-
-\end_inset
-
-, and modules are only loaded if the preamble code matches (otherwise you could easily get completely different output for some often used names like
+The lemma is not recognized as a command provided by a module, since the
+ preamble code is from an older version of LyX, and modules are only loaded
+ if the preamble code matches (otherwise you could easily get completely
+ different output for some often used names like
\backslash
theorem.
\end_layout
\end_layout
\begin_layout Standard
-
\begin_inset ERT
status collapsed
\begin_layout Plain Layout
+
\backslash
begin{lem}
\end_layout
\begin_layout Plain Layout
+
\backslash
end{lem}
\end_layout