Assertion: artinian ring | /r/AtLocation | noetherian
Facets:
Source sentences:
text: It is a somewhat surprising fact that a left Artinian ring is left Noetherian (the Hopkins–Levitzki theorem).