P
Initializing...
Positive-definite operators have trivial kernel · Prove2Me