Assertion: logarithm | /r/HasProperty | 1
Facets:
Source sentences:
text: More precisely, the logarithm to any base b > 1 is the only increasing function f from the positive reals to the reals satisfying f(b)