Assertion: euclidean algorithm | /r/HasProperty | formulated for real numbers
Facets:
Source sentences:
text: (In modern usage, one would say it was formulated there for real numbers.