-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