Assertion: local ring | /r/HasProperty | ufd
Facets:
Source sentences:
text: Regular local rings are UFD's.
text: A regular local ring is a UFD.