From dbe944be2941d04c8391ada2ba6c657be77aea60 Mon Sep 17 00:00:00 2001 From: Franciszek Malinka Date: Sat, 9 Jul 2022 20:05:03 +0200 Subject: updates updates --- sections/conj_classes.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'sections/conj_classes.tex') diff --git a/sections/conj_classes.tex b/sections/conj_classes.tex index 3e4cb3a..d380df6 100644 --- a/sections/conj_classes.tex +++ b/sections/conj_classes.tex @@ -191,7 +191,7 @@ \end{tikzcd} \end{center} - Now, by the WHP of $\bK$ we can extend the graph $\Gamma'_n\cup\{v_n\}$ together + Now, by the WHP of $\cK$ we can extend the graph $\Gamma'_n\cup\{v_n\}$ together with its partial isomorphism $g'_n$ to a graph $\Gamma_n$ together with its automorphism $g_n\supseteq g'_n$ and without the loss of generality we may assume that $\Gamma_n\subseteq\Gamma$. This way we've constructed $g_n$ -- cgit v1.2.3