chore(algebra/group/basic): add `ite_one_mul` and `ite_zero_add` (#9227)
chore(algebra/group/basic): add `ite_one_mul` and `ite_zero_add` (#9227)

We already had the versions with the arguments in the other order.

Follows on from #3217





leanprover-community/mathlib,leanprover-community/mathlib