P
Initializing...
Section 2.3: equivalence with Petz imaginary-power condition and intertwining · Prove2Me