Assertion: quotient group | /r/HasProperty | finite
Facets:
value: with the exception
type: OTHER
Source sentences:
text: All quotient groups Z/nZ are finite, with the exception Z/0Z = Z/{0}.