Assertion: gauss | /r/CapableOf | advance modular arithmetic
Facets:
value: further
type: MANNER
Source sentences:
text: He further advanced modular arithmetic, greatly simplifying manipulations in number theory.