no goals
α : Type u_2
β : Type ?u.85689
A : Type ?u.85692
B : Type ?u.85695
M : Type ?u.85698
N : Type ?u.85701
P : Type ?u.85704
R : Type u_1
S : Type ?u.85710
G : Type ?u.85713
M₀ : Type ?u.85716
G₀ : Type ?u.85719
ι : Sort ?u.85722
inst✝ : MulZeroClass R
f g : α → R
x : α
hfg : x ∈ support fun x => f x * g x
hg : g x = 0
⊢ (fun x => f x * g x) x = 0
simp only [hg, mul_zero]