Assertion: isomorphism's inverse | /r/HasProperty | logarithm map
Facets:
Source sentences:
text: The inverse to this isomorphism is the logarithm map.