mathlib

95689775 - fix(group_theory/group_action): generalize assumptions on `ite_smul` and `smul_ite` (#9085)