#LyX file created by tex2lyx 2.2
-\lyxformat 493
+\lyxformat 495
\begin_document
\begin_header
\origin roundtrip
\textclass amsart
\begin_preamble
+\numberwithin{equation}{section} %% Comment out for sequentially-numbered
+\numberwithin{figure}{section} %% Comment out for sequentially-numbered
+\providecommand{\theoremname}{Theorem}
+\theoremstyle{plain}
+\newtheorem{lem}[thm]{Lemma}
+
\usepackage{babel}
+
+
\end_preamble
\use_default_options false
\begin_modules