Assertion: algebra | /r/HasProperty | artinian
Facets:
Source sentences:
text: An algebra over a field k is artinian if and only if it has finite dimension.