Update src/hott/03-equivalences.rzk.md

rzk-lang · Oct 13, 2023 · 41f20d9 · 41f20d9
1 parent d01de3d
commit 41f20d9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/hott/03-equivalences.rzk.md b/src/hott/03-equivalences.rzk.md
@@ -535,7 +535,7 @@ 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
+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