| Copyright | (c) Erich Gut |
|---|---|
| License | BSD3 |
| Maintainer | zerich.gut@gmail.com |
| Safe Haskell | None |
| Language | Haskell2010 |
OAlg.Limes.Proposition
Description
propositions on Limits.
Synopsis
- prpLimitsOrntSymbol :: N -> Statement
Documentation
prpLimitsOrntSymbol :: N -> Statement Source #
validity of Limits for Orientation Symbol