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