1 #LyX 2.2 created this file. For more info see http://www.lyx.org/
10 \use_default_options false
16 \maintain_unincluded_children false
18 \language_package default
19 \inputencoding iso8859-15
23 \font_typewriter default
25 \font_default_family default
26 \use_non_tex_fonts false
32 \default_output_format default
34 \bibtex_command default
35 \index_command default
36 \paperfontsize default
41 \use_package amsmath 1
42 \use_package amssymb 0
45 \use_package mathdots 0
46 \use_package mathtools 0
48 \use_package stackrel 0
49 \use_package stmaryrd 0
50 \use_package undertilde 0
52 \cite_engine_type default
56 \paperorientation portrait
66 \paragraph_separation indent
67 \paragraph_indentation default
68 \quotes_language english
71 \paperpagestyle default
72 \tracking_changes false
81 \begin_layout Standard
85 \begin_layout Standard
86 It has a theorem, a lemma and a proof.
89 \begin_layout Standard
90 The theorem is recognized is a style provided by the module theorems-ams,
91 since the preamble code matches.
94 \begin_layout Standard
95 The lemma is not recognized as a command provided by a module, since the
96 preamble code is from an older version of LyX, and modules are only loaded
97 if the preamble code matches (otherwise you could easily get completely
98 different output for some often used names like
103 \begin_layout Standard
104 The proof is recognized as a builtin style provided by the text class.
107 \begin_layout Standard
111 \begin_layout Plain Layout
124 \begin_layout Plain Layout
136 \begin_layout Theorem