P
Initializing...
Complementary positive-semidefinite block forms · Prove2Me