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 stackrel 0
46 \use_package stmaryrd 0
47 \use_package undertilde 0
49 \cite_engine_type numerical
53 \paperorientation portrait
63 \paragraph_separation indent
64 \paragraph_indentation default
65 \quotes_language english
68 \paperpagestyle default
69 \tracking_changes false
78 \begin_layout Standard
82 \begin_layout Standard
83 It has a theorem, a lemma and a proof.
86 \begin_layout Standard
87 The theorem is recognized is a style provided by the module theorems-ams, since the preamble code matches.
90 \begin_layout Standard
91 The lemma is not recognized as a command provided by a module, since the preamble code is from an older version of
95 \begin_layout Plain Layout
101 , 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