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.Structure.Proposition

Contents

Description

propositions on basic algebraic structures.

Synopsis

Proposition

prpStructure :: Statement Source #

validity of some structures.

prpStructureN :: Statement Source #

validity of the algebraic structure of N.

prpStructureZ :: Statement Source #

validity of the algebraic structure of Z.

prpStructureQ :: Statement Source #

validity of the algebraic structure of Q.

prpStructureOS :: Statement Source #

validity of the algebraic structure of OS.