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
81 \begin_layout Standard
83 It has a theorem, a lemma and a proof.
86 \begin_layout Standard
88 The theorem is recognized is a style provided by the module theorems-ams, since the preamble code matches.
91 \begin_layout Standard
93 The lemma is not recognized as a command provided by a module, since the preamble code is from an older version of
97 \begin_layout Standard
104 , and modules are only loaded if the preamble code matches (otherwise you could easily get completely different output for some often used names like
109 \begin_layout Standard
111 The proof is recognized as a builtin style provided by the text class.
114 \begin_layout Standard
120 \begin_layout Standard
133 \begin_layout Standard
145 \begin_layout Theorem