+Axiom
+\family default
+,
+
+\family sans
+Condition
+\family default
+,
+
+\family sans
+Note
+\family default
+,
+
+\family sans
+Notation
+\family default
+,
+
+\family sans
+Summary
+\family default
+,
+
+\change_deleted -712698321 1675594806
+
+\family sans
+Acknowledgement
+\family default
+,
+
+\change_inserted 564990737 1672224959
+
+\family sans
+Conclusion
+\family default
+,
+
+\family sans
+Assumption
+\family default
+ and
+\family sans
+Case
+\family default
+ in both numbered and unnumbered forms.
+
+\change_inserted -712698321 1674898455
+
+\end_layout
+
+\begin_layout Standard
+
+\change_inserted 564990737 1672224959
+Unlike the
+\family sans
+AMS Theorems (Extended)
+\family default
+ module,
+ the different theorem types provided here each have a separate counter (e.g.,
+
+\change_deleted -712698321 1674898821
+c
+\change_inserted -712698321 1674898821
+
+\emph on
+C
+\change_inserted 564990737 1672224959
+riterion 1
+\emph default
+,
+
+\change_deleted -712698321 1674898823
+c
+\change_inserted -712698321 1674898823
+
+\emph on
+C
+\change_inserted 564990737 1672224959
+riterion 2
+\emph default
+,
+
+\change_deleted -712698321 1674898825
+a
+\change_inserted -712698321 1674898825
+
+\emph on
+A
+\change_inserted 564990737 1672224959
+xiom 1
+\emph default
+,
+
+\change_deleted -712698321 1674898827
+a
+\change_inserted -712698321 1674898827
+
+\emph on
+A
+\change_inserted 564990737 1672224959
+ssumption 1
+\emph default
+,
+
+\change_deleted -712698321 1674898830
+c
+\change_inserted -712698321 1674898830
+
+\emph on
+C
+\change_inserted 564990737 1672224959
+riterion 3
+\emph default
+,
+ \SpecialChar ldots
+,
+ as opposed to
+\change_deleted -712698321 1674898832
+c
+\change_inserted -712698321 1674898832
+
+\emph on
+C
+\change_inserted 564990737 1672224959
+riterion 1
+\emph default
+,
+
+\change_deleted -712698321 1674898834
+c
+\change_inserted -712698321 1674898834
+
+\emph on
+C
+\change_inserted 564990737 1672224959
+riterion 2
+\emph default
+,
+
+\change_deleted -712698321 1674898836
+a
+\change_inserted -712698321 1674898836
+
+\emph on
+A
+\change_inserted 564990737 1672224959
+xiom 3
+\emph default
+,
+
+\change_deleted -712698321 1674898838
+a
+\change_inserted -712698321 1674898838
+
+\emph on
+A
+\change_inserted 564990737 1672224959
+ssumption 4
+\emph default
+,
+ \SpecialChar ldots
+).
+\end_layout
+
+\begin_layout Subsection
+
+\change_inserted 564990737 1672224959
+AMS Theorems (Numbered by Type within Chapters)
+\end_layout
+
+\begin_layout Standard
+
+\change_inserted 564990737 1672224959
+This module defines theorem environments and the proof environment using the extended AMS machinery.
+ Both numbered and unnumbered types are provided.
+
+\change_inserted -712698321 1674901718
+
+\end_layout
+
+\begin_layout Standard
+
+\change_inserted 564990737 1672224959
+Unlike the
+\family sans
+AMS Theorems
+\family default
+ module,
+ the different theorem types provided here each have a separate counter (e.g.,
+
+\change_deleted -712698321 1674901843
+t
+\change_inserted -712698321 1674901843
+
+\emph on
+T
+\change_inserted 564990737 1672224959
+heorem 1.1
+\emph default
+,
+
+\change_deleted -712698321 1674901845
+t
+\change_inserted -712698321 1674901845
+
+\emph on
+T
+\change_inserted 564990737 1672224959
+heorem 1.2
+\emph default
+,
+
+\change_deleted -712698321 1674901847
+
+\emph on
+l
+\change_inserted -712698321 1674901847
+L
+\change_inserted 564990737 1672224959
+emma 1.1
+\emph default
+,
+
+\change_inserted -712698321 1674901849
+
+\emph on
+P
+\change_deleted -712698321 1674901849
+p
+\change_inserted 564990737 1672224959
+roposition 1.1
+\emph default
+,
+
+\change_inserted -712698321 1674901852
+
+\emph on
+T
+\change_deleted -712698321 1674901852
+t
+\change_inserted 564990737 1672224959
+heorem 1.3
+\emph default
+,
+
+\change_inserted -712698321 1674901854
+
+\emph on
+L
+\change_deleted -712698321 1674901854
+l
+\change_inserted 564990737 1672224959
+emma 1.2
+\emph default
+,
+ \SpecialChar ldots
+,
+ as opposed to
+\change_deleted -712698321 1674901859
+t
+\change_inserted -712698321 1674901859
+
+\emph on
+T
+\change_inserted 564990737 1672224959
+heorem 1
+\emph default
+,
+
+\change_deleted -712698321 1674901861
+t
+\change_inserted -712698321 1674901861
+
+\emph on
+T
+\change_inserted 564990737 1672224959
+heorem 2
+\emph default
+,
+
+\change_deleted -712698321 1674901863
+l
+\change_inserted -712698321 1674901863
+
+\emph on
+L
+\change_inserted 564990737 1672224959
+emma 3
+\emph default
+,
+
+\change_deleted -712698321 1674901868
+p
+\change_inserted -712698321 1674901868
+
+\emph on
+P
+\change_inserted 564990737 1672224959
+roposition 4
+\emph default
+,
+ \SpecialChar ldots
+).
+ The numbering restarts for each chapter:
+
+\change_deleted -712698321 1674901871
+t
+\change_inserted -712698321 1674901871
+
+\emph on
+T
+\change_inserted 564990737 1672224959
+heorem 1.1
+\emph default
+,
+
+\change_deleted -712698321 1674901873
+t
+\change_inserted -712698321 1674901873
+
+\emph on
+T
+\change_inserted 564990737 1672224959
+heorem 2.1
+\emph default
+,
+ \SpecialChar ldots
+
+\change_inserted -712698321 1674901725
+
+\end_layout
+
+\begin_layout Standard
+
+\change_inserted 564990737 1672224959
+It cannot be used if the modules
+\family sans
+AMS Theorems
+\family default
+,
+
+\family sans
+Standard Theorems
+\family default
+,
+
+\family sans
+ Standard Theorems (Numbered by Type)
+\family default
+ or
+\family sans
+ Standard Theorems (Unnumbered)
+\family default
+ have been loaded.
+\end_layout
+
+\begin_layout Subsection
+
+\change_inserted 564990737 1672224959
+AMS Theorems (Numbered by Type)
+\end_layout
+
+\begin_layout Standard
+
+\change_inserted 564990737 1672224959
+This module defines theorem environments and the proof environment using the extended AMS machinery.
+ Both numbered and unnumbered types are provided.
+ Unlike the
+\family sans
+AMS Theorems
+\family default
+ module,
+ the different theorem types provided here each have a separate counter (e.g.,
+
+\change_deleted -712698321 1674902051
+t
+\change_inserted -712698321 1674902051
+
+\emph on
+T
+\change_inserted 564990737 1672224959
+heorem 1
+\emph default
+,
+
+\change_deleted -712698321 1674902053
+t
+\change_inserted -712698321 1674902053
+
+\emph on
+T
+\change_inserted 564990737 1672224959
+heorem 2
+\emph default
+,
+
+\change_deleted -712698321 1674902055
+l
+\change_inserted -712698321 1674902055
+
+\emph on
+L
+\change_inserted 564990737 1672224959
+emma 1
+\emph default
+,
+
+\change_inserted -712698321 1674902058
+
+\emph on
+P
+\change_deleted -712698321 1674902058
+p
+\change_inserted 564990737 1672224959
+roposition 1
+\emph default
+,
+
+\change_inserted -712698321 1674902061
+
+\emph on
+T
+\change_deleted -712698321 1674902060
+t
+\change_inserted 564990737 1672224959
+heorem 3
+\emph default
+,
+
+\change_deleted -712698321 1674902063
+l
+\change_inserted -712698321 1674902063
+
+\emph on
+L
+\change_inserted 564990737 1672224959
+emma 2
+\emph default
+,
+ \SpecialChar ldots
+,
+ as opposed to
+\change_deleted -712698321 1674902066
+t
+\change_inserted -712698321 1674902067
+
+\emph on
+T
+\change_inserted 564990737 1672224959
+heorem 1
+\emph default
+,
+
+\change_deleted -712698321 1674902069
+t
+\change_inserted -712698321 1674902069
+
+\emph on
+T
+\change_inserted 564990737 1672224959
+heorem 2
+\emph default
+,
+
+\change_deleted -712698321 1674902071
+l
+\change_inserted -712698321 1674902071
+
+\emph on
+L
+\change_inserted 564990737 1672224959
+emma 3
+\emph default
+,
+
+\change_deleted -712698321 1674902075
+p
+\change_inserted -712698321 1674902075
+
+\emph on
+P
+\change_inserted 564990737 1672224959
+roposition 4
+\emph default
+,
+ \SpecialChar ldots
+).
+ The numbering’s scope is the whole document.
+ For chapter- and section-wide numbering,
+ use one of the ‘within Sections’/‘within Chapters’ modules,
+ respectively.
+
+\change_inserted -712698321 1674902047
+
+\end_layout
+
+\begin_layout Standard
+
+\change_inserted 564990737 1672224959
+It cannot be used if the modules
+\family sans
+AMS Theorems
+\family default
+,
+
+\family sans
+Standard Theorems
+\family default
+,
+
+\family sans
+ Standard Theorems (Numbered by Type)
+\family default
+ or
+\family sans
+ Standard Theorems (Unnumbered)
+\family default
+ have been loaded.
+\end_layout
+
+\begin_layout Subsection
+
+\change_inserted 564990737 1672224959
+Number Equations by Section
+\end_layout
+
+\begin_layout Standard
+
+\change_inserted 564990737 1672224959
+This module resets the equation number at section start and prepends the section number to the equation number,
+ as in
+\change_deleted -712698321 1674902160
+“
+\change_inserted 564990737 1672224959
+
+\emph on
+(2.1)
+\emph default
+.
+\change_deleted -712698321 1674902162
+”
+\change_inserted 564990737 1672224959
+
+\end_layout
+
+\begin_layout Subsection
+
+\change_inserted 564990737 1672224959
+Standard Theorems
+\end_layout
+
+\begin_layout Standard
+
+\change_inserted 564990737 1672224959
+This module defines some theorem environments for use with non-AMS classes.
+ By default,
+ the theorems are numbered consecutively throughout the document.
+ This can be changed by loading one of the
+\family sans
+Standard Theorems (Numbered by \SpecialChar ldots
+)
+\family default
+ modules.
+
+\change_inserted -712698321 1674902414
+
+\end_layout
+
+\begin_layout Standard
+
+\change_inserted 564990737 1672224959
+It cannot be used if the modules
+\family sans
+AMS Theorems
+\family default
+ or
+\family sans
+ Standard Theorems (Unnumbered)
+\family default
+ have been loaded.
+
+\end_layout
+
+\begin_layout Subsection
+
+\change_inserted 564990737 1672224959
+Standard Theorems (Nameable)
+\end_layout
+
+\begin_layout Standard
+
+\change_inserted 564990737 1672224959
+This module facilitates the use of named theorems.
+ The name of the theorem
+\change_deleted -712698321 1674902805
+goes into the
+\change_inserted -712698321 1674902825
+can be inserted via
+\family sans
+Insert\SpecialChar menuseparator
+
+\change_deleted -712698321 1674902827
+ “
+\change_inserted 564990737 1672224959
+Additional Theorem Text
+\change_deleted -712698321 1674902831
+
+\family default
+” argument
+\change_inserted 564990737 1672224959
+.
+
+\end_layout
+
+\begin_layout Subsection
+
+\change_inserted 564990737 1672224959
+Standard Theorems (Numbered by Chapter)
+\end_layout
+
+\begin_layout Standard
+
+\change_inserted 564990737 1672224959
+This module numbers theorems and the like by chapter (i.e.,
+ the counter is reset at each chapter start).
+ Use this module only with document classes that provide a chapter environment.
+
+\change_inserted -712698321 1674903079
+
+\end_layout
+
+\begin_layout Standard
+
+\change_inserted 564990737 1672224959
+One of the modules
+\family sans
+AMS Theorems
+\family default
+ or
+\family sans
+Standard Theorems