shortened some parts of Huffman proof using Sledgehammer
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rAFP6bc96b722875: added another simplification rule when alternatives are equal
- Branches
- Unknown
- Tags
shortened some parts of Huffman proof using Sledgehammer Tags None Subscribers None |