P
Initializing...
Equation (7), proved in Section 5.3: CPTP data processing · Prove2Me