Recognize rewrite rules using intEq and intModEq relations.#1297
Merged
brianhuffman merged 2 commits intomasterfrom ruleOfProp-intEqAug 26, 2021
+50
Commits
Commits on Aug 26, 2021
- committed
Brian Huffman - committedBrian Huffman