Assertion: function's argument | /r/HasProperty | non-negative real
Facets:
Source sentences:
text: These important functions (which are not arithmetic functions) are defined for non-negative real arguments, and are used in the various statements and proofs of the prime number theorem.