Real exponential function
Define E(x)=sum over n≥0 of x^n/n!, absolutely convergent for every real x, with E(x+y)=E(x)E(y) and E(x)>0.
atlas-real-exponential-function · canonical_mko
Real exponential function
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data