Assertion: euclidean division | /r/HasProperty | extended to negative dividend
Facets:
Source sentences:
text: Euclidean division can also be extended to negative dividend (or negative divisor) using the same formula;