mathlib

089d0586 - feat(tactic/lint): linter for commutativity lemmas that are marked simp (#2045)

feat(tactic/lint): linter for commutativity lemmas that are marked simp (#2045) * feat(tactic/lint): linter for commutativity lemmas that are marked simp * chore(*): remove simp from commutativity lemmas * doc(*): document simp_comm linter Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>