P

Initializing...

Theorem F: for z rational in u with |u|² algebraic, which conjugation hulls span(1, u, ū, z, z̄) carry a 2×3 configuration · Prove2Me