dropped odd interpretation of comm_monoid_mult into comm_monoid_add
dropped odd interpretation of comm_monoid_mult into comm_monoid_add

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