P
Initializing...
A two-row linear-map bound under norm constraints · Prove2Me