no goals
α : Type u_3
β : Type u_2
A : Type ?u.91300
B : Type ?u.91303
M : Type u_1
N : Type ?u.91309
P : Type ?u.91312
R : Type ?u.91315
S : Type ?u.91318
G : Type ?u.91321
M₀ : Type ?u.91324
G₀ : Type ?u.91327
ι : Sort ?u.91330
inst✝² : Zero M
inst✝¹ : Zero β
inst✝ : SMulWithZero M β
f : α → M
g : α → β
x : α
hfg : x ∈ support (f • g)
hf : f x = 0
⊢ (f • g) x = 0
rw [Pi.smul_apply', hf, zero_smul]