no goals
α : Type u_2
β : Type ?u.97251
A : Type ?u.97254
B : Type ?u.97257
M : Type ?u.97260
N : Type ?u.97263
P : Type ?u.97266
R : Type ?u.97269
S : Type ?u.97272
G : Type ?u.97275
M₀ : Type ?u.97278
G₀ : Type u_1
ι : Sort ?u.97284
inst✝ : GroupWithZero G₀
f g : α → G₀
⊢ (support fun x => f x / g x) = support f ∩ support g
simp [div_eq_mul_inv]