Theorem smul_add_hom_apply

Modification history

2023-01-27 05:22
Mathlib/Algebra/Module/Basic.lean
chore: fix casing errors per naming scheme (#1670)
Deleted smul_add_hom_applyView on Github →
2022-12-31 22:33
Mathlib/Algebra/Module/Basic.lean
feat: port Algebra.Module.Basic (#1169) …
Added smul_add_hom_applyView on Github →