diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-12 00:08:43 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-12 00:08:43 +0900 |
| commit | af6e2bdb7f770d1d0822b217346d3896ed5afbc1 (patch) | |
| tree | ebe429692596538467ccb7b0da75e02108b7cc04 | |
| parent | c7cb466e2caf7bc500f66472d8781a14037eec1e (diff) | |
permutations: Rename a theorem.
| -rw-r--r-- | permutations.lisp | 2 |
1 files changed, 1 insertions, 1 deletions
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)))) |