P
Initializing...
For every u ∈ ℂ, z lies in span_ℚ ℒ + ℚu + ℚū exactly when z = c + pu + qū with c ∈ ℒ and p, q ∈ ℚ, and the Q̄-span of 1 and this space is ℒ̃ + Q̄u + Q̄ū · Prove2Me