Talk:Open Star Convex Set Minus Countable Set is Path-Connected in Real Euclidean Space

This proof would be a whole lot simpler for finite sets only (which is all I technically need right now), but I thought this was a worthwhile generalization. Also, it itself generalizes to any path-connected open set (find a finite cover of the path with open balls, which are convex, and use open induction to generate the path by invoking this theorem as a lemma). I may write that at some point. --CircuitCraft (talk) 15:23, 27 March 2023 (UTC)