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.Entity.Diagram.Proposition

Contents

Description

propositions on diagrams on Oriented structures.

Synopsis

Proposition

prpDiagram :: Statement Source #

validity for same statements of diagrams.

prpDiagramOrntSymbol :: Statement Source #

validity of diagrams on Symbols.