P
Initializing...
Strict square-root cone preservation by the compact connection · Prove2Me