The theorem is recognized is a style provided by the module theorems-ams, since the preamble code matches.
\end_layout
\begin_layout Standard
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 Standard
-
-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
\begin_layout Standard
\backslash
theorem.
\end_layout
\begin_layout Standard
-
The proof is recognized as a builtin style provided by the text class.
\end_layout
\begin_layout Standard
The proof is recognized as a builtin style provided by the text class.