P

Initializing...

Eq. (12): the recurrence step on $n$ copies of (11) outputs $N\rho'$ · Prove2Me