P
Initializing...
Classical trace distance $\|p-q\|_1$ (Definition 10.7.1) · Prove2Me