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 stmaryrd 0
46 \use_package undertilde 0
48 \cite_engine_type numerical
52 \paperorientation portrait
62 \paragraph_separation indent
63 \paragraph_indentation default
64 \quotes_language english
67 \paperpagestyle default
68 \tracking_changes false
77 \begin_layout Standard
81 \begin_layout Standard
82 It has a theorem, a lemma and a proof.
85 \begin_layout Standard
86 The theorem is recognized is a style provided by the module theorems-ams, since the preamble code matches.
89 \begin_layout Standard
90 The lemma is not recognized as a command provided by a module, since the preamble code is from an older version of
94 \begin_layout Standard
100 , and modules are only loaded if the preamble code matches (otherwise you could easily get completely different output for some often used names like
105 \begin_layout Standard
106 The proof is recognized as a builtin style provided by the text class.
109 \begin_layout Standard
114 \begin_layout Standard
126 \begin_layout Standard
137 \begin_layout Theorem