module CoercionExpr.SimLemmas where

open import CoercionExpr.CatchUp public
open import CoercionExpr.SimCastId public
open import CoercionExpr.SimCastIdProj public
open import CoercionExpr.SimCastUp public