`BookProof.ChapterF7.l2pair_smul_right` (c : ℂ) (f g : 𝓢(ℝ, ℂ)) : l2pair f (c • g) = c * l2pair f g

Initializing...

`BookProof.ChapterF7.l2pair_smul_right` (c : ℂ) (f g : 𝓢(ℝ, ℂ)) : l2pair f (c • g) = c * l2pair f g · Prove2Me