no goals
α : Type u_2
β : Type ?u.84556
A : Type ?u.84559
B : Type ?u.84562
M : Type ?u.84565
N : Type ?u.84568
P : Type ?u.84571
R : Type u_1
S : Type ?u.84577
G : Type ?u.84580
M₀ : Type ?u.84583
G₀ : Type ?u.84586
ι : Sort ?u.84589
inst✝ : MulZeroClass R
f g : α → R
x : α
hfg : x ∈ support fun x => f x * g x
hf : f x = 0
⊢ (fun x => f x * g x) x = 0
simp only [hf, zero_mul]