Assertion: local ring | /r/HasAspect | finite dimension
Facets:
Source sentences:
text: For non-Noetherian rings, and also non-local rings, the dimension may be infinite, but Noetherian local rings have finite dimension.