carmo55
@carmo55@lemmy.zip
This is a remote user, information on this page may be incomplete. View at Source ↗
- Comment on Listen here, Little Dicky 5 days ago:
It is just a definition, but it’s the only definition of the complex exponential function which is well behaved and is equal to the real variable function on the real line.
Also, every identity about analytical functions on the real line also holds for the respective complex function (excluding things that require ordering). They should have probably explained it.