Assertion: real number's value | /r/HasProperty | defined for prime number p
Facets:
Source sentences:
text: On the other hand, for any prime number p, the p-adic absolute values is defined by