Chapter 11. Real Numbers

module Chapter11.Book where

open import Chapter11.Exercises public

11.1 The field of rational numbers

--