In transcendence degree one, a purely imaginary product of two non-zero logarithms has one real and one purely imaginary factor

Initializing...

In transcendence degree one, a purely imaginary product of two non-zero logarithms has one real and one purely imaginary factor · Prove2Me