Rule algebra.inequalities.trivial

Parameters
Buggyno
Rewrite ruleno
Siblings