fix typo

martinescardo · Sep 15, 2023 · 86c284c · 86c284c
1 parent 04d538e
commit 86c284c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/source/Various/LawvereFPT.lagda b/source/Various/LawvereFPT.lagda
@@ -15,7 +15,7 @@ extensions of MLTT, or hypotheses, such as propositional truncation.
 Many other things have been added since the above abstract was
 written.
 
-See also the file Various.CantorTheoremForSurjections by Jon Sterling.
+See also the file Various.CantorTheoremForEmbeddings by Jon Sterling.
 
 \begin{code}