introduced hack to exploit the symmetry of equality in monotonicity calculus
introduced hack to exploit the symmetry of equality in monotonicity calculus

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle