Assertion: derivative | /r/HasProperty | ieix
Facets:
Source sentences:
text: From any of the definitions of the exponential function it can be shown that the derivative of eix is ieix.