From e2149822477ee4bb0e901831b7de044e82a856f0 Mon Sep 17 00:00:00 2001 From: Tashi Walde Date: Fri, 13 Oct 2023 17:07:44 +0200 Subject: [PATCH] autoformat --- src/hott/11-homotopy-pullbacks.rzk.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/hott/11-homotopy-pullbacks.rzk.md b/src/hott/11-homotopy-pullbacks.rzk.md index bbe6209c..45aeb770 100644 --- 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