{-# LANGUAGE NoImplicitPrelude #-}

-- |
-- Module      : OAlg.Hom.Multiplicative
-- Description : homomorphisms between multiplicative structures
-- Copyright   : (c) Erich Gut
-- License     : BSD3
-- Maintainer  : zerich.gut@gmail.com
--
-- homomorphisms between 'OAlg.Structure.Multiplicative.Definition.Multiplicative' structures.
module OAlg.Hom.Multiplicative
  ( module Mlt
  , module Prp
  )
  where

import OAlg.Hom.Multiplicative.Definition as Mlt
import OAlg.Hom.Multiplicative.Proposition as Prp