Closed Alex-Fischman closed 5 months ago
Adds rules for the 3/4 if rewrites as well as a few other canonicalization rules.
Adds rules for the 3/4 if rewrites as well as a few other canonicalization rules.