`BookProof.ChapterF3.disjoint_support_mul` {α : Type*} (f g : α → ℂ) (h : Disjoint (Function.support f) (Function.support g)) : f * g = 0

Initializing...

`BookProof.ChapterF3.disjoint_support_mul` {α : Type*} (f g : α → ℂ) (h : Disjoint (Function.support f) (Function.support g)) : f * g = 0 · Prove2Me