{-# OPTIONS --safe #-}

module Cubical.Categories.Equivalence where

open import Cubical.Categories.Equivalence.Base public
open import Cubical.Categories.Equivalence.Properties public