diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-07-22 13:14:11 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-07-22 13:14:11 +0900 |
| commit | 21801ab1ebf221b18e6542418d6459f9d8075c2d (patch) | |
| tree | 281d5cd915fdf3a0081b7d0372427ac30eae4d3b | |
| parent | c3b18da12dd6f6510f960edb66669733ccdeb694 (diff) | |
palindrome-sandwich: sandwich-equal-hyp を sandwich-equal-lemma に修正
| -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) |