thm:qld with its error named: both items at most qldErr ε m d q, for a POVM strategy of failure probability at most ε

Initializing...

thm:qld with its error named: both items at most qldErr ε m d q, for a POVM strategy of failure probability at most ε · Prove2Me