{-# OPTIONS --without-K #-}
module function.isomorphism where

open import function.isomorphism.core public
open import function.isomorphism.properties public
open import function.isomorphism.coherent public
open import function.isomorphism.lift public
open import function.isomorphism.utils public
open import function.isomorphism.univalence public
open import function.isomorphism.remove public
open import function.isomorphism.two-out-of-six public