P
Initializing...
Trace distance $\|M - N\|_1$ · Prove2Me