-#LyX file created by tex2lyx 2.1.0dev
-\lyxformat 456
+#LyX file created by tex2lyx 2.2
+\lyxformat 480
\begin_document
\begin_header
\textclass amsart
\maintain_unincluded_children false
\language english
\language_package default
-\inputencoding latin9
+\inputencoding iso8859-15
\fontencoding T1
\font_roman default
\font_sans default
\use_geometry false
\use_package amsmath 1
\use_package amssymb 0
+\use_package cancel 0
\use_package esint 1
\use_package mathdots 0
\use_package mathtools 0
\use_package mhchem 0
+\use_package stackrel 0
\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
\begin_inset ERT
status collapsed
-\begin_layout Standard
+\begin_layout Plain Layout
LyX
\end_layout
\begin_inset ERT
status collapsed
-\begin_layout Standard
+\begin_layout Plain Layout
\backslash
begin{lem}
\begin_inset ERT
status collapsed
-\begin_layout Standard
+\begin_layout Plain Layout
\backslash
end{lem}