The antiderivatives $\ln x + C$ of $1/x$ live in the logarithmic extension $\mathbb{C}(x,\ln x)$

Initializing...

The antiderivatives $\ln x + C$ of $1/x$ live in the logarithmic extension $\mathbb{C}(x,\ln x)$ · Prove2Me