`BookProof.ChapterF7.l2pair_sub_left` (f₁ f₂ g : 𝓢(ℝ, ℂ)) : l2pair (f₁ - f₂) g = l2pair f₁ g

Initializing...

`BookProof.ChapterF7.l2pair_sub_left` (f₁ f₂ g : 𝓢(ℝ, ℂ)) : l2pair (f₁ - f₂) g = l2pair f₁ g - l2pair f₂ g · Prove2Me