fix link

UniMath · Oct 22, 2023 · ce8b029 · ce8b029
1 parent b52146d
commit ce8b029
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/foundation-core/homotopies.lagda.md b/src/foundation-core/homotopies.lagda.md
@@ -335,7 +335,7 @@ syntax step-homotopy-reasoning p h q = p ~ h by q
 
 - We postulate that homotopies characterize identifications of (dependent)
   functions in the file
-  [`foundation.function-extensionality`](foundation-core.function-extensionality.md).
+  [`foundation.function-extensionality`](foundation.function-extensionality.md).
 - [Multivariable homotopies](foundation.multivariable-homotopies.md).
 - The [whiskering operations](foundation.whiskering-homotopies.md) on
   homotopies.