Bass-Papp theorem (source code)

= Bass-Papp theorem
{c}
{wiki=Bass–Papp_theorem}

A ring is left Noetherian exactly when every direct sum of injective left modules is injective.