P
Initializing...
Sharp-row comparison yields a projected operator comparison · Prove2Me