remove hanging link

UniMath · Nov 28, 2024 · 1cd924a · 1cd924a
1 parent b7a662b
commit 1cd924a
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/foundation/powersets.lagda.md b/src/foundation/powersets.lagda.md
@@ -181,7 +181,6 @@ module _
 ## See also
 
 - [the large locale of subtypes](foundation.large-locale-of-subtypes.md)
-- [preimages of subtypes](foundation.preimages-of-subtypes.md)
 - [images of subtypes](foundation.images-subtypes.md)
 
 ## External links