P
Initializing...
Theorem 6 / Eq.(32): exact one-shot operational interpretation · Prove2Me