formatting

rzk-lang · Jul 23, 2024 · e6251e7 · e6251e7
1 parent ecf426a
commit e6251e7
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/hott/08-families-of-maps.rzk.md b/src/hott/08-families-of-maps.rzk.md
@@ -787,9 +787,9 @@ contractible.
     funext-weirdfunext (weirdfunext-weakfunext weakfunext)
 ```
 
-The proof of `weakfunext-funext` from `06-contractible.rzk` works with a weaker
-version of function extensionality only requiring the map in the converse
-direction. We can then prove a cycle of implications between `#!rzk FunExt`,
+The proof of `weakfunext-funext` from `06-contractible.rzk` works with a version
+of function extensionality only requiring the map in the converse direction. We
+can then prove a cycle of implications between `#!rzk FunExt`,
 `#!rzk NaiveFunExt` and `#!rzk WeakFunExt`.
 
 ```rzk