Chapter 7. Homotopy n-types - Exercises

module Chapter7.Exercises where

open import Chapter7.Book public