fix link

UniMath · Feb 24, 2024 · 70a4abd · 70a4abd
1 parent ca9c2b9
commit 70a4abd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/foundation/commuting-triangles-of-morphisms-arrows.lagda.md b/src/foundation/commuting-triangles-of-morphisms-arrows.lagda.md
@@ -42,8 +42,8 @@ by asking for a homotopy
 ```
 
 This is [equivalent](foundation-core.equivalences.md) to asking for a
-[commuting prism of maps](foundation-core.commuting-prism-of-maps.md), given the
-square faces in the diagram
+[commuting prism of maps](foundation-core.commuting-prisms-of-maps.md), given
+the square faces in the diagram
 
 ```text
         f