P
Initializing...
Positive operators with equal real quadratic forms are equal · Prove2Me