If |u|² is algebraic and z is rational in u, the conjugation hull span(1, u, ū, z, z̄) contains u⁻¹ and consists of rational functions of u

Initializing...

If |u|² is algebraic and z is rational in u, the conjugation hull span(1, u, ū, z, z̄) contains u⁻¹ and consists of rational functions of u · Prove2Me