diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-07-25 11:28:12 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-07-25 11:28:12 +0900 |
| commit | af0b9d96812a399bd7e3d20a1157b361ec227ae4 (patch) | |
| tree | d60af94ea5e0f4b097607abcb8c57c0577cd9b81 /L-99.lisp | |
| parent | 326b8dc46bcf5e9d0d112a6e2ddb6c63c3449ede (diff) | |
L-99: Rename from encode-direct-equal-encode-modified to encode-direct-equal-encode-modified.
Diffstat (limited to 'L-99.lisp')
| -rw-r--r-- | L-99.lisp | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -389,14 +389,14 @@ (implies (posp n) (consp (repeat x n)))) -(defthm encode-direct-equal-encode-mofified-1 +(defthm encode-direct-equal-encode-modified-1 (implies (and (atom-listp x) (atom sym) (natp n)) (equal (encode-direct-1 x sym n) (encode-modified-1 (encode-1 (pack-1 x (repeat sym n))))))) -(defthm encode-direct-equal-encode-mofified +(defthm encode-direct-equal-encode-modified (implies (atom-listp x) (equal (encode-direct x) (encode-modified x)))) |