module Chapter10.Equivalence.Main where

open import Chapter10.Equivalence.ToContornament
open import Chapter10.Equivalence.ToCartesian
open import Chapter10.Equivalence.ToOrn