diff options
Diffstat (limited to 'permutations.lisp')
| -rw-r--r-- | permutations.lisp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/permutations.lisp b/permutations.lisp index 89b978e..4aa9640 100644 --- a/permutations.lisp +++ b/permutations.lisp @@ -113,7 +113,6 @@ (defthm nat-listp-mapcar-len (nat-listp (mapcar-len x))) - ;; for repeatedp-mapcar-len-mappend-insert (defthm mapcar-len-append (equal (mapcar-len (append x y)) |