P
Initializing...
Theorem 10: negativity fails to be PPT-preserving monotone · Prove2Me