theorem :: TOPREALB:44

CircleMap (R^1 (1 / 2)) is being_homeomorphism