Assertion: function's definition | /r/HasSubevent | appropriate definitions
Facets:
Source sentences:
text: The definition of the complex exponential function in turn leads to the appropriate definitions extending the trigonometric functions to complex arguments.