1 #LyX file created by tex2lyx 2.3
5 \save_transient_properties true
12 \use_default_options false
16 \maintain_unincluded_children false
18 \language_package default
19 \inputencoding iso8859-15
21 \font_roman "default" "default"
22 \font_sans "default" "default"
23 \font_typewriter "default" "default"
24 \font_math "auto" "auto"
25 \font_default_family default
26 \use_non_tex_fonts false
29 \font_sf_scale 100 100
30 \font_tt_scale 100 100
32 \use_dash_ligatures true
34 \default_output_format default
36 \bibtex_command default
37 \index_command default
38 \paperfontsize default
43 \use_package amsmath 1
44 \use_package amssymb 0
47 \use_package mathdots 0
48 \use_package mathtools 0
50 \use_package stackrel 0
51 \use_package stmaryrd 0
52 \use_package undertilde 0
54 \cite_engine_type default
58 \paperorientation portrait
68 \paragraph_separation indent
69 \paragraph_indentation default
71 \math_numbering_side default
76 \paperpagestyle default
77 \tracking_changes false
86 \begin_layout Standard
90 \begin_layout Standard
91 It has a theorem, a lemma and a proof.
94 \begin_layout Standard
95 The theorem is recognized is a style provided by the module theorems-ams, since the preamble code matches.
98 \begin_layout Standard
99 The lemma is not recognized as a command provided by a module, since the preamble code is from an older version of LyX, 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 Plain Layout
125 \begin_layout Plain Layout
136 \begin_layout Theorem