Removed mult_commute axiom from comm_semiring axclass.
Removed mult_commute axiom from comm_semiring axclass.

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