From 61614ee4002052c5238682abf333b292c34ce3a1 Mon Sep 17 00:00:00 2001 From: Jlh18 Date: Thu, 23 Sep 2021 13:00:41 +0100 Subject: [PATCH] edits to feedbackG --- 1FundamentalGroup/feedbackG.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/1FundamentalGroup/feedbackG.md b/1FundamentalGroup/feedbackG.md index dac92eb..fef11b3 100644 --- a/1FundamentalGroup/feedbackG.md +++ b/1FundamentalGroup/feedbackG.md @@ -31,8 +31,8 @@ [] "just some terminology" - subject on the definition of _fiber_. Subject did not take in the picture of what it is called fiber. [-] need to add earlier how to check goal of holes. -[] need to be clear _we are assuming `flipPath` is constructed already_. -[] overall : need to be clearer that `Type` is space of spaces, +[x] need to be clear _we are assuming `flipPath` is constructed already_. +[x] overall : need to be clearer that `Type` is space of spaces, and paths in `Type` are saying which spaces are the same. ## Quesst0/Part2