1 #LyX file created by tex2lyx 2.2
8 \numberwithin{equation}{section} %% Comment out for sequentially-numbered
9 \numberwithin{figure}{section} %% Comment out for sequentially-numbered
10 \providecommand{\theoremname}{Theorem}
12 \newtheorem{lem}[thm]{Lemma}
19 \use_default_options false
23 \maintain_unincluded_children false
25 \language_package default
26 \inputencoding iso8859-15
30 \font_typewriter default
32 \font_default_family default
33 \use_non_tex_fonts false
39 \default_output_format default
41 \bibtex_command default
42 \index_command default
43 \paperfontsize default
48 \use_package amsmath 1
49 \use_package amssymb 0
52 \use_package mathdots 0
53 \use_package mathtools 0
55 \use_package stackrel 0
56 \use_package stmaryrd 0
57 \use_package undertilde 0
59 \cite_engine_type default
63 \paperorientation portrait
73 \paragraph_separation indent
74 \paragraph_indentation default
75 \quotes_language english
78 \paperpagestyle default
79 \tracking_changes false
88 \begin_layout Standard
92 \begin_layout Standard
93 It has a theorem, a lemma and a proof.
96 \begin_layout Standard
97 The theorem is recognized is a style provided by the module theorems-ams, since the preamble code matches.
100 \begin_layout Standard
101 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
106 \begin_layout Standard
107 The proof is recognized as a builtin style provided by the text class.
110 \begin_layout Standard
115 \begin_layout Plain Layout
127 \begin_layout Plain Layout
138 \begin_layout Theorem