`BookProof.WallEsaBddBelow.constOp_symmetric` (c : ℝ) (x y : Lp ℂ 2 (volume : Measure ℝ)) : (inner ℂ (constOp c x) y : ℂ) = inner ℂ x (constOp c y)

Initializing...

`BookProof.WallEsaBddBelow.constOp_symmetric` (c : ℝ) (x y : Lp ℂ 2 (volume : Measure ℝ)) : (inner ℂ (constOp c x) y : ℂ) = inner ℂ x (constOp c y) · Prove2Me