{-# OPTIONS --exact-split --safe --prop #-}
module Proposition.Identity.Homogeneous where

open import Proposition.Identity.Homogeneous.Definition public
open import Proposition.Identity.Homogeneous.Property public
open import Relation.Binary.ReflexiveTransitiveClosure public
