diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2022-07-14 13:02:30 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2022-07-14 13:02:30 +0900 |
| commit | 07242a16ff73b043202a8e82a087e506ea7ad40b (patch) | |
| tree | 0969a441e7a6eb08b991e772055cea9cee453a18 | |
| parent | 3c94facb83a3d3a82ad3b55f9fcd2fa76685f448 (diff) | |
huffman-encode: symbol-list-leaf-symbol: Rename.
| -rw-r--r-- | huffman-encode.lisp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/huffman-encode.lisp b/huffman-encode.lisp index 728b012..f634a84 100644 --- a/huffman-encode.lisp +++ b/huffman-encode.lisp @@ -155,7 +155,7 @@ (implies (huffman-treep x) (true-listp (symbol-list x)))) -(defthm symbol-list-leaf +(defthm symbol-list-leaf-symbol (implies (and (huffman-treep x) (not (nodep x))) (equal (symbol-list x) |