-#LyX file created by tex2lyx 2.2
-\lyxformat 485
+#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
\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 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
+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