Chapter 4. Equivalences - Exercises

module Chapter4.Exercises where

open import Chapter4.Book public

-- Exercise 4.1