move lemmas mult_minus{left,right} inside class ring
move lemmas mult_minus{left,right} inside class ring

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