Similar to simpCore
, but uses dsimp
.
Equations
Instances For
Preprocesses e
using grind
normalization theorems and simprocs,
and then applies several other preprocessing steps.
Similar to simpCore
, but uses dsimp
.
Preprocesses e
using grind
normalization theorems and simprocs,
and then applies several other preprocessing steps.