Assertion: ring's property | /r/HasProperty | dim r = sup p
Facets:
Source sentences:
text: The dimension is a local property: dim R = sup p ∊