Assertion: isomorphism | /r/AtLocation | main article
Facets:
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).