Assertion: ring | /r/HasProperty | principal ideal domain
Facets:
Source sentences:
text: Theorem 1.1.4 shows that the ring of integers Z is a principal ideal domain.