oalg-base-3.0.0.0: Algebraic structures on oriented entities and limits as a tool kit to solve algebraic problems.
Copyright(c) Erich Gut
LicenseBSD3
Maintainerzerich.gut@gmail.com
Safe HaskellNone
LanguageHaskell2010

OAlg.Hom.Proposition

Description

propositions on homomorphisms between algerbaic structure.

Synopsis

Documentation

prpHomDisjOp :: Statement Source #

validity of HomDisj s Op as homomorphisms between s-structured types.