-- | -- Module : OAlg.Hom.Oriented -- Description : homomorphisms between oriented structures -- Copyright : (c) Erich Gut -- License : BSD3 -- Maintainer : zerich.gut@gmail.com -- -- homomorphism between 'OAlg.Structure.Oriented.Definition.Oriented' structures. module OAlg.Hom.Oriented ( module Ort , module Prp ) where import OAlg.Hom.Oriented.Definition as Ort import OAlg.Hom.Oriented.Proposition as Prp