P
Initializing...
The criterion of Schneider–Lang for ℂ^{d₀}×(ℂ^×)^{d₁}, d₀ ≤ 1 (Corollary 4.2 of Waldschmidt's book) · Prove2Me