Diaz 2007, Théorème 4: x₂/x₁ ∈ ℒ̃ keeps the four products out of ℒ̃ (strong six exponentials) and out of ℒ (with Baker)

Initializing...

Diaz 2007, Théorème 4: x₂/x₁ ∈ ℒ̃ keeps the four products out of ℒ̃ (strong six exponentials) and out of ℒ (with Baker) · Prove2Me