Assertion: real number's property | /r/HasProperty | defined in way
Facets:
Source sentences:
text: The property of being an algebraic integer is defined in a way that is independent of a choice of a basis in F.