Commit 2020-05-31 04:59 a285049b
View on Github →chore(algebra/group_hom): rename add_monoid.smul
to nsmul
(#2861)
Also drop •
as a notation for two smul
s declared in this file,
use •ℕ
and •ℤ
instead.
This way one can immediately see that a lemma uses nsmul
/gsmul
, not has_scalar.smul
.