From fa334cef8c04e50a45b366a3427db18e638fc992 Mon Sep 17 00:00:00 2001 From: Franciszek Malinka Date: Sun, 10 Jul 2022 20:24:41 +0200 Subject: Capitalised words before \ref --- sections/introduction.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'sections/introduction.tex') 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} -- cgit v1.2.3