module Chapter10.Equivalence.Main where open import Chapter10.Equivalence.ToContornament open import Chapter10.Equivalence.ToCartesian open import Chapter10.Equivalence.ToOrn