Source labels openWikipedia · Special functions
Exponentials conjectures and theorems
Four exponentials conjecture* Let and be -linearly independent pairs of complex numbers, then some is transcendental.
Source checked Jul 26, 20261 pinned Lean statementInspect problem