P
Initializing...
Monotonicity of the kernel energy in the underlying domain · Prove2Me