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