diff options
Diffstat (limited to 'src/algebra')
| -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 f16ebd14..d5992ab2 100644 --- a/src/algebra/catdef.spad.pamphlet +++ b/src/algebra/catdef.spad.pamphlet @@ -272,7 +272,7 @@ OrderedType(): Category == BasicType with x > y == y < x x <= y == not(y < x) x >= y == not(x < y) - x = y == not(x < y) and not(y < x) + x = y == not(x < y or y < x) max(x,y) == x < y => y x |