Assertion: important function | /r/HasProperty | defined for non-negative real arguments
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.