From ad63d0a98d8595d3267fd81196cf8c96361bd911 Mon Sep 17 00:00:00 2001
From: Franciszek Malinka <franciszek.malinka@gmail.com>
Date: Mon, 11 Jul 2022 20:13:42 +0200
Subject: Updates updates

---
 sections/introduction-pl.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'sections/introduction-pl.tex')

diff --git a/sections/introduction-pl.tex b/sections/introduction-pl.tex
index 02b6cbe..bd6e2f1 100644
--- a/sections/introduction-pl.tex
+++ b/sections/introduction-pl.tex
@@ -27,7 +27,7 @@
   \ref{definition:generic_automorphism}, co zostało po raz pierwsze zdefiniowane
   i udowodnione przez Trussa w \cite{truss_gen_aut}.
 
-  Kluczowe twierdzenie \ref{theorem:generic_aut_general} mówi, że klasa
+  Kluczowe twierdzenie \ref{theorem:key-theorem} mówi, że klasa
   Fraïsségo z kanoniczną amalgamacją i słabą własnością Hrushovskiego
   ma generyczny automorfizm. Istnienie takiego automorfizmu w tym przypadku
   wynika z wcześniejszych klasycznych wyników Ivanova \cite{ivanov_1999}
-- 
cgit v1.2.3

