Chapter 10. Set Theory - Exercises

module Chapter10.Exercises where

open import Chapter10.Book public