Assertion: group | /r/HasProperty | modulo n
Facets:
Source sentences:
text: the group of units of the ring of integers modulo n