Similar to T850, by going locally (using T131) (since all 8 path connected lots are locally contractible) --- I'm pretty sure we are missing several implications regarding locally simply connected etc., so this may be a good addition in that direction.
Similar to T850, by going locally (using T131)
(since all 8 path connected lots are locally contractible)
I'm pretty sure we are missing several implications regarding locally simply connected etc., so this may be a good addition in that direction.