diff --git a/src/foundation/powersets.lagda.md b/src/foundation/powersets.lagda.md index bcbc992421..5610d81426 100644 --- 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