Chapter 11. Real numbers - Exercises

module Chapter11.Exercises where

open import Chapter10.Book public