From 0e366c71efc3c694374793949c63af1bc94de0c0 Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Fri, 13 Aug 2021 21:35:28 +0900 Subject: permutations: Refactoring. --- permutations.lisp | 1 - 1 file changed, 1 deletion(-) 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)) -- cgit v1.2.3