search

pi-base / data

A community database of topological counterexamples
https://topology.pi-base.org/
Creative Commons Attribution 4.0 International
72 stars 26 forks source link

Hereditarily connected spaces don't have cut points. #941

Closed Almanzoris closed 6 days ago

prabau commented 6 days ago

It took me more than a second, but it is obvious if one looks at it the right way. Would it be worth to say something like: "Clear from the definitions, since removing a point does not disconnect the space." ?

Almanzoris commented 6 days ago

Alright! I was unsure about writing it in the description explicitly or not.