diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-13 21:35:28 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-13 21:35:28 +0900 |
| commit | 0e366c71efc3c694374793949c63af1bc94de0c0 (patch) | |
| tree | 227b51669689b8b1c0e23b6dd6ae35a9539a5822 | |
| parent | eee26e12e82d2ac1b63a1787c7d3671c096a55d1 (diff) | |
permutations: Refactoring.
| -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)) |