Chapter 8. Homotopy Theory - Exercises

module Chapter8.Exercises where

open import Chapter8.Book public