mathlib3

806bbb01 - refactor(algebra/group/defs): rename has_scalar to has_smul (#14559)

refactor(algebra/group/defs): rename has_scalar to has_smul (#14559) Discussion: https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/scalar.20smul.20naming.20discrepancy Co-authored-by: Yury G. Kudryashov <urkud@urkud.name> Co-authored-by: Eric Wieser <wieser.eric@gmail.com>