diff options
author | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-07-10 20:24:41 +0200 |
---|---|---|
committer | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-07-10 20:24:41 +0200 |
commit | fa334cef8c04e50a45b366a3427db18e638fc992 (patch) | |
tree | 968c886701519e8f6f0d395f34edbac10884c15a /sections/introduction.tex | |
parent | 30e20714fa82c6d0d6b1c06b81ebcefdb72e1004 (diff) |
Capitalised words before \ref
Diffstat (limited to 'sections/introduction.tex')
-rw-r--r-- | sections/introduction.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sections/introduction.tex b/sections/introduction.tex index 0605356..34b42f8 100644 --- a/sections/introduction.tex +++ b/sections/introduction.tex @@ -26,7 +26,7 @@ \ref{definition:generic_automorphism}, which was first proved by Truss in \cite{truss_gen_aut}, where he also introduced the term. - The key theorem \ref{theorem:generic_aut_general} + The key Theorem \ref{theorem:generic_aut_general} says that a Fraïssé class with canonical amalgamation and weak Hrushovski property has a generic automorphism. The fact that such an automorphism exists in this case follows from the classical results of Ivanov \cite{ivanov_1999} |