Returns the array of simprocs used by grind
.
Equations
Instances For
Returns the simplification context used by grind
.
Equations
Instances For
@[export lean_grind_normalize]
Returns the array of simprocs used by grind
.
Returns the simplification context used by grind
.