[ rename/deprecate ] Rename `Algebra.Properties.Monoid.ε-comm`#2883

jamesmckinna merged 1 commit intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:monoid-centraljamesmckinna/agda-stdlib:monoid-centralCopy head branch name to clipboard