Returns Grind.simpMatchDiscrsOnly e
. Recall that Grind.simpMatchDiscrsOnly
is
a gadget for instructing the grind
simplifier to only normalize/simplify
the discriminants of a match
-expression. See reduceSimpMatchDiscrsOnly
.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Erases Grind.simpMatchDiscrsOnly
annotations.
Equations
- One or more equations did not get rendered due to their size.