module Homotopy.Space.Circle where open import Homotopy.Space.Circle.Properties public open import Homotopy.Space.Circle.Base public