diff options
| -rw-r--r-- | vikalpa/prelude.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/vikalpa/prelude.scm b/vikalpa/prelude.scm index 264773d..8816131 100644 --- a/vikalpa/prelude.scm +++ b/vikalpa/prelude.scm @@ -119,7 +119,7 @@ (define-axiom </sub1 (x) (implies (natural? x) (equal? (< (sub1 x) x) '#t))) - (define-axiom common-add1 (x y) + (define-theorem common-add1 (x y) (implies (natural? x) (natural? y) (equal? (equal? (add1 x) (add1 y)) |