mathlib

56544106 - chore(group_theory/group_action/opposite): add a missed smul/scalar rename (#15082)