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.