P

Initializing...

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