P
Initializing...
`BookProof.StrichartzWave.multiplierOp_apply_eq` (m : V β β) (f : π’(V, β)) : (multiplierOp m f : π’(V, β)) = πβ» (potentialOp m (π f : π’(V, β))) Β· Prove2Me