Assertion: euclidean space's property | /r/HasProperty | a division algorithm
Facets:
Source sentences:
text: If the Euclidean property is algorithmic, i.e., if there is a division algorithm that for given a and nonzero b produces a quotient q and remainder r with a = bq