`PhysFunctionalAnalysis.polynomial_dense_L2` : Dense {f : Lp ℝ 2 unitMeasure | ∃ P : Polynomial ℝ, f =ᵐ[unitMeasure] fun x => P.eval x}

Initializing...

`PhysFunctionalAnalysis.polynomial_dense_L2` : Dense {f : Lp ℝ 2 unitMeasure | ∃ P : Polynomial ℝ, f =ᵐ[unitMeasure] fun x => P.eval x} · Prove2Me