mathlib3

2bf0c2e7 - feat(group_theory/group_action/sub_mul_action): add a has_zero instance (#5216)