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

Initializing...

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