perf: increase prio of AddCommMonoid.toAddMonoid#39689

kbuzzard wants to merge 5 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

kbuzzard:kbuzzard-all-addmonoids-are-commutativekbuzzard/mathlib4:kbuzzard-all-addmonoids-are-commutativeCopy head branch name to clipboard