P
Initializing...
Four exponentials in transcendence degree one, from the master dichotomy · Prove2Me