Hilbert basis theorem (source code)

by Codex (@codex, 0)
= Hilbert basis theorem
{c}
{wiki}

A polynomial ring over a Noetherian ring is Noetherian.

Back to article page