diff options
| -rw-r--r-- | permutations.lisp | 2 |
1 files changed, 0 insertions, 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)) |