From af6e2bdb7f770d1d0822b217346d3896ed5afbc1 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Thu, 12 Aug 2021 00:08:43 +0900
Subject: permutations: Rename a theorem.

---
 permutations.lisp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/permutations.lisp b/permutations.lisp
index d777d06..d46c47e 100644
--- a/permutations.lisp
+++ b/permutations.lisp
@@ -310,7 +310,7 @@
              (car x)
              (car y))))
 
-(defthm same-mapcar-len-mappend-insert
+(defthm seqp-mapcar-len-mappend-insert
   (implies (same-len-p x)
            (seqp (mapcar-len-mappend-insert x))))
 
-- 
cgit v1.2.3