Theorem smulAddHom_apply

Modification history

2024-04-29 13:25
Mathlib/Algebra/Module/Basic.lean
chore: split Algebra.Module.Basic (#12501) …
Modified smulAddHom_applyView on Github →
2023-01-27 05:22
Mathlib/Algebra/Module/Basic.lean
chore: fix casing errors per naming scheme (#1670)
Added smulAddHom_applyView on Github →