P
Initializing...
Proposition 3 / Eqs.(17),(18): one-shot cost from an SDP · Prove2Me