theorem Th43: :: TOPREALB:43

(CircleMap (R^1 (1 / 2))) " = Circle2IntervalL