autoformat more

rzk-lang · Oct 14, 2023 · 7b96228 · 7b96228
1 parent 4457bc4
commit 7b96228
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/simplicial-hott/03-extension-types.rzk.md b/src/simplicial-hott/03-extension-types.rzk.md
@@ -1219,8 +1219,8 @@ The converse is of course trivial.
 
 For simplicity, we only consider extesions of `#!rzk BOT`.
 
-For each map `f : A → B` and each shape inclusion `ϕ ⊂ ψ`,
-we have a commutative square.
+For each map `f : A → B` and each shape inclusion `ϕ ⊂ ψ`, we have a commutative
+square.
 
 ```
 (ψ → A') → (ψ → A)