$\mu_{CZ}(\psi)=\deg(\hat\rho^2\circ\tilde\psi)$ exists and does not depend on the extension

Initializing...

$\mu_{CZ}(\psi)=\deg(\hat\rho^2\circ\tilde\psi)$ exists and does not depend on the extension · Prove2Me