autoformat

rzk-lang · Oct 13, 2023 · ba18ee6 · ba18ee6
1 parent 0dd0e10
commit ba18ee6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/hott/03-equivalences.rzk.md b/src/hott/03-equivalences.rzk.md
@@ -535,8 +535,8 @@ The retraction associated with an equivalence is an equivalence.
 
 ## Section-retraction pairs
 
-A pair of maps `s : A' → B` and `r : B → A` is a **section-retraction pair** if the
-composite `A' → A` is an equivalence.
+A pair of maps `s : A' → B` and `r : B → A` is a **section-retraction pair** if
+the composite `A' → A` is an equivalence.
 
 ```rzk
 #section is-section-retraction-pair