Assertion: real number's property | /r/HasProperty | introduced
Facets:
value: so far
type: OTHER
Source sentences:
text: So far, the following two (equivalent) properties have been introduced: