P
Initializing...
A monotone nonnegative scale function vanishing at a has no Laplace mass below a · Prove2Me