diff options
Diffstat (limited to 'palindrome-sandwich.lisp')
| -rw-r--r-- | palindrome-sandwich.lisp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/palindrome-sandwich.lisp b/palindrome-sandwich.lisp index 78a9370..98f5e64 100644 --- a/palindrome-sandwich.lisp +++ b/palindrome-sandwich.lisp @@ -69,7 +69,7 @@ ;; sandwich-equal の補助定理 ;; 真リスト x が nil でないとき (app x y) は y でない -(defthm sandwich-equal-hyp +(defthm sandwich-equal-lemma (implies (and (consp x) (true-listp x)) (not (equal (app x y) |