Assertion: real number's value | /r/HasProperty | | |
Facets:
Source sentences:
text: Firstly (and mostly irrelevant), the trivial absolute value | | 0 , which takes the value 1 on all non-zero f in F.