1 #LyX file created by tex2lyx 2.1.0dev
10 \use_default_options false
14 \maintain_unincluded_children false
16 \language_package default
21 \font_typewriter default
23 \font_default_family default
24 \use_non_tex_fonts false
30 \default_output_format default
32 \bibtex_command default
33 \index_command default
34 \paperfontsize default
39 \use_package amsmath 1
40 \use_package amssymb 0
42 \use_package mathdots 0
43 \use_package mathtools 0
45 \use_package undertilde 0
47 \cite_engine_type numerical
51 \paperorientation portrait
61 \paragraph_separation indent
62 \paragraph_indentation default
63 \quotes_language english
66 \paperpagestyle default
67 \tracking_changes false
76 \begin_layout Standard
80 \begin_layout Standard
81 It has a theorem, a lemma and a proof.
84 \begin_layout Standard
85 The theorem is recognized is a style provided by the module theorems-ams, since the preamble code matches.
88 \begin_layout Standard
89 The lemma is not recognized as a command provided by a module, since the preamble code is from an older version of
93 \begin_layout Standard
99 , and modules are only loaded if the preamble code matches (otherwise you could easily get completely different output for some often used names like
104 \begin_layout Standard
105 The proof is recognized as a builtin style provided by the text class.
108 \begin_layout Standard
113 \begin_layout Standard
125 \begin_layout Standard
136 \begin_layout Theorem