formating

rzk-lang · Nov 20, 2023 · 3238405 · 3238405
1 parent 5d401c1
commit 3238405
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/simplicial-hott/10-rezk-types.rzk.md b/src/simplicial-hott/10-rezk-types.rzk.md
@@ -944,8 +944,8 @@ In particular, every contractible type is Rezk
 
 ## Representable isomorphisms.
 
-We prove [RS17, Proposition 10.11]. We firs need to access the fiberwise equivalence
-with no extra data, and then define some helpers.
+We prove [RS17, Proposition 10.11]. We firs need to access the fiberwise
+equivalence with no extra data, and then define some helpers.
 
 ```rzk
 #def map-fiberwise-equiv