mathlib3

10f45725 - refactor(group_theory/group_action/defs): rename has_faithful_scalar (#14515)

refactor(group_theory/group_action/defs): rename has_faithful_scalar (#14515) This is the first scalar -> smul renaming transition. Discussion: https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/scalar.20smul.20naming.20discrepancy