Bass-Papp theorem (source code)

= Bass-Papp theorem
{c}

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