re-orienting equations with 0, 1, 2 on the lhs
re-orienting equations with 0, 1, 2 on the lhs

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