P
Initializing...
Relative entropy decreases when a positive trace-nonincreasing map preserves the first input trace · Prove2Me