diff options
Diffstat (limited to 'src/algebra/catdef.spad.pamphlet')
| -rw-r--r-- | src/algebra/catdef.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet index b75dc4b5..58198cd9 100644 --- a/src/algebra/catdef.spad.pamphlet +++ b/src/algebra/catdef.spad.pamphlet @@ -2917,7 +2917,7 @@ OrderedAbelianMonoidSup(): Category == OrderedCancellationAbelianMonoid with ++ preserves the ordering. ++ \spad{ x < y => x+z < y+z} -OrderedAbelianSemiGroup(): Category == Join(OrderedSet, AbelianMonoid) +OrderedAbelianSemiGroup(): Category == Join(OrderedSet, AbelianSemiGroup) @ \section{category OCAMON OrderedCancellationAbelianMonoid} |