aboutsummaryrefslogtreecommitdiff
path: root/sections/introduction.tex
diff options
context:
space:
mode:
authorFranciszek Malinka <franciszek.malinka@gmail.com>2022-07-10 20:24:41 +0200
committerFranciszek Malinka <franciszek.malinka@gmail.com>2022-07-10 20:24:41 +0200
commitfa334cef8c04e50a45b366a3427db18e638fc992 (patch)
tree968c886701519e8f6f0d395f34edbac10884c15a /sections/introduction.tex
parent30e20714fa82c6d0d6b1c06b81ebcefdb72e1004 (diff)
Capitalised words before \ref
Diffstat (limited to 'sections/introduction.tex')
-rw-r--r--sections/introduction.tex2
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}