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'