autoformat

rzk-lang · Oct 13, 2023 · e214982 · e214982
1 parent 018c822
commit e214982
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/hott/11-homotopy-pullbacks.rzk.md b/src/hott/11-homotopy-pullbacks.rzk.md
@@ -439,7 +439,8 @@ Given two type families `B C : A → U`, we can form their **fiberwise product**
   := \ (_,c) → c
 ```
 
-Given two maps `B → A` and `C → A`, we can form the **relative product** over `A`.
+Given two maps `B → A` and `C → A`, we can form the **relative product** over
+`A`.
 
 ```rzk
 #section relative-product