diff options
Diffstat (limited to 'Modules/_decimal/libmpdec/literature/umodarith.lisp')
| -rw-r--r-- | Modules/_decimal/libmpdec/literature/umodarith.lisp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Modules/_decimal/libmpdec/literature/umodarith.lisp b/Modules/_decimal/libmpdec/literature/umodarith.lisp index 60a14a4..008e9f4 100644 --- a/Modules/_decimal/libmpdec/literature/umodarith.lisp +++ b/Modules/_decimal/libmpdec/literature/umodarith.lisp @@ -321,7 +321,7 @@ (defthmd dw-submod-correct (implies (and (< 0 m) (< m base) - (natp a) (< a m) + (natp a) (< a m) (< hi base) (< lo base) (natp m) (natp base) (natp hi) (natp lo)) |