@clemens Today copilot told me the real line is not homeomorphic to itself.