Assertion: real number | /r/HasProperty | normed division algebras
Facets:
value: over r.
type: LOCATION
Source sentences:
text: Reals, complex numbers, quaternions and octonions are all normed division algebras over R.