Diaz's conjecture (Qr2) in transcendence degree one: for logarithms ℓ₀, ℓ₁ off both axes, a real or purely imaginary ℓ₁/ℓ₀ is rational

Initializing...

Diaz's conjecture (Qr2) in transcendence degree one: for logarithms ℓ₀, ℓ₁ off both axes, a real or purely imaginary ℓ₁/ℓ₀ is rational · Prove2Me