P
Initializing...
The mean-square estimate from the canonical energy estimate · Prove2Me