From 86c284c5e6a57fbe58e726f1a9d17b02065df859 Mon Sep 17 00:00:00 2001 From: Martin Escardo Date: Fri, 15 Sep 2023 06:55:27 +0100 Subject: [PATCH] fix typo --- source/Various/LawvereFPT.lagda | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/Various/LawvereFPT.lagda b/source/Various/LawvereFPT.lagda index 074e1bfc0..85f246f36 100644 --- 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}