diff options
| -rw-r--r-- | permutations.lisp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/permutations.lisp b/permutations.lisp index d777d06..d46c47e 100644 --- a/permutations.lisp +++ b/permutations.lisp @@ -310,7 +310,7 @@ (car x) (car y)))) -(defthm same-mapcar-len-mappend-insert +(defthm seqp-mapcar-len-mappend-insert (implies (same-len-p x) (seqp (mapcar-len-mappend-insert x)))) |