mathlib3

466fd276 - feat(algebra/group_with_zero/basic): relax some commutativity assumptions (#10075)

feat(algebra/group_with_zero/basic): relax some commutativity assumptions (#10075) Moving some lemmas so they require group_with_zero instead of comm_group_with_zero, using the generalization linter.