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






leanprover-community/mathlib,leanprover-community/mathlib