From ef3fc25228cc13c9f39192813653b1b6dc339406 Mon Sep 17 00:00:00 2001
From: Franciszek Malinka <franciszek.malinka@gmail.com>
Date: Sun, 17 Jul 2022 23:22:37 +0200
Subject: Szkola orlow finish!

---
 sections/preliminaries.tex | 1 +
 1 file changed, 1 insertion(+)

(limited to 'sections/preliminaries.tex')

diff --git a/sections/preliminaries.tex b/sections/preliminaries.tex
index d6d5376..b35b4d3 100644
--- a/sections/preliminaries.tex
+++ b/sections/preliminaries.tex
@@ -359,6 +359,7 @@
   particularly interesting to us is the following fact.
 
   \begin{fact}
+	\label{fact:natural-automorphism}
 	Let $\eta$ be a natural transformation of functors $F, G$ from category
 	$\cC$ to $\cD$. Then $\eta$ is an isomorphism if and only if
 	all of the component morphisms are isomorphisms.
-- 
cgit v1.2.3