From c1f965d3ce7fafd01f5dde64e921370d4e0fe16c Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Thu, 12 Aug 2021 00:10:49 +0900 Subject: permutations: Refactoring. --- permutations.lisp | 2 -- 1 file changed, 2 deletions(-) diff --git a/permutations.lisp b/permutations.lisp index d46c47e..7c01dc3 100644 --- a/permutations.lisp +++ b/permutations.lisp @@ -118,7 +118,6 @@ (mapcar-len x)) n)))) - (defthm nat-listp-mapcar-len (nat-listp (mapcar-len x))) @@ -159,7 +158,6 @@ (equal (sum (mapcar-nat-expt (mapcar-len x) n)) (sum-of-nat-expt-lens x n))) - (defthm sum-of-nat-expt-1+lens-equal-sum-mapcar-nat-expt-1+-len/inverse (equal (sum (mapcar-nat-expt (mapcar-sum (seq 1 (len x)) (mapcar-len x)) -- cgit v1.2.3