Rule algebra.equations.buggy.minus-minus
Description
Incorrect rewriting of a-(b-c): forgetting to change sign.
Parameters | |
Buggy | yes |
Rewrite rule | no |
Siblings |
Description
Incorrect rewriting of a-(b-c): forgetting to change sign.
Parameters | |
Buggy | yes |
Rewrite rule | no |
Siblings |