Wikipedia
Zulip:
There is a proof using HOL-Light (the main theorem is let JORDAN_CURVE_THEOREM), essentially proven by a limiting argument of the polygonal case, but we plan to use machinery from algebraic topology to prove the n-dimensional case in general spaces.
Wikipedia
Zulip:
There is a proof using HOL-Light (the main theorem is
let JORDAN_CURVE_THEOREM), essentially proven by a limiting argument of the polygonal case, but we plan to use machinery from algebraic topology to prove the n-dimensional case in general spaces.