Assertion: division | /r/CapableOf | use euclid’s division lemma
Facets:
Source sentences:
text: Divisions use Euclid’s Division Lemma