Rule algebra.equations.buggy.minus-minus

Description
Incorrect rewriting of a-(b-c): forgetting to change sign.

Parameters
Buggy	yes
Rewrite rule	no
Siblings