The complexification of $P$ evaluated at $(z,\bar z)$ equals $P(\operatorname{Re}z,\operatorname{Im}z)$

Initializing...

The complexification of $P$ evaluated at $(z,\bar z)$ equals $P(\operatorname{Re}z,\operatorname{Im}z)$ · Prove2Me