formatting

rzk-lang · Jul 23, 2024 · ecf426a · ecf426a
1 parent 8bf2fbe
commit ecf426a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/hott/08-families-of-maps.rzk.md b/src/hott/08-families-of-maps.rzk.md
@@ -789,8 +789,8 @@ contractible.
 
 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`, `#!rzk NaiveFunExt`
-and `#!rzk WeakFunExt`.
+direction. We can then prove a cycle of implications between `#!rzk FunExt`,
+`#!rzk NaiveFunExt` and `#!rzk WeakFunExt`.
 
 ```rzk
 #def NaiveFunExt