From 0bdbccaa9d03bda57ea3536a50335af9bad77f66 Mon Sep 17 00:00:00 2001 From: Fredrik Bakke Date: Sun, 20 Oct 2024 00:42:51 +0200 Subject: [PATCH] fix link --- src/order-theory/zorns-lemma.lagda.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/order-theory/zorns-lemma.lagda.md b/src/order-theory/zorns-lemma.lagda.md index c6cdb1d3dc..a2e403817a 100644 --- a/src/order-theory/zorns-lemma.lagda.md +++ b/src/order-theory/zorns-lemma.lagda.md @@ -33,7 +33,7 @@ open import order-theory.upper-bounds-chains-posets states that a [poset](order-theory.posets.md) where every [chain](order-theory.chains-posets.md) has an [upper bound](order-theory.upper-bounds-chains-posets.md) has a -[maximal element](order-theory.maximal-elements.md). +[top element](order-theory.top-elements-posets.md). ## Statement