`BookProof.HermiteExpWall.memLp_scalaron_psi` (M alpha : ℝ) (hM : 0 < M) (N : ℕ) : MemLp (fun x => starobinskyV M alpha x * psi N x) 2 volume

Initializing...

`BookProof.HermiteExpWall.memLp_scalaron_psi` (M alpha : ℝ) (hM : 0 < M) (N : ℕ) : MemLp (fun x => starobinskyV M alpha x * psi N x) 2 volume · Prove2Me