Assertion: real number | /r/HasProperty | 1.1 introduction
Facets:
Source sentences:
text: 1 Real Numbers 1.1 Introduction 1.2