Complexification followed by the Cartesian substitution is the identity of $\mathbb C[X,Y]$

Initializing...

Complexification followed by the Cartesian substitution is the identity of $\mathbb C[X,Y]$ · Prove2Me