Assertion: isomorphism | /r/HasProperty | given by logarithmic function
Facets:
value: explicitly
type: MANNER
Source sentences:
text: The isomorphism between $\R$ and $P$ mentioned in the main article above can be explicitly given by the means of the exponential mapping or its inverse, the logarithmic function (cf. also Exponential function, real).