Copyright | (c) Erich Gut |
---|---|
License | BSD3 |
Maintainer | zerich.gut@gmail.com |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
OAlg.AbelianGroup.Proposition
Description
validity of abelian groups.
Synopsis
Documentation
prpAbelianGroups :: Statement Source #
validity for abelian groups.