Assertion: natural logarithm function | /r/HasSubevent | identity
Facets:
Source sentences:
text: The natural logarithm function, if considered as a real-valued function of a real variable, is the inverse function of the exponential function, leading to the identities: