From 7e1e1f2064fd49fbdd8db217c9cb1cf2d317ec47 Mon Sep 17 00:00:00 2001 From: jlh <48520973+Jlh18@users.noreply.github.com> Date: Sun, 19 Sep 2021 16:32:14 +0100 Subject: [PATCH] Update Quest0Part3.md --- 1FundamentalGroup/Quest0Part3.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/1FundamentalGroup/Quest0Part3.md b/1FundamentalGroup/Quest0Part3.md index 78aece5..b5da7c3 100644 --- a/1FundamentalGroup/Quest0Part3.md +++ b/1FundamentalGroup/Quest0Part3.md @@ -34,7 +34,7 @@ it will look like lifted_loops The homotopy `h : Refl ≡ loop` is 'lifted' @@ -43,7 +43,7 @@ to some kind of surface lifted_homotopy According to the pictures the end point of the 'lifted'