The four exponentials conjecture has no instance on the logarithms certified by a generic candidate

Initializing...

The four exponentials conjecture has no instance on the logarithms certified by a generic candidate · Prove2Me