Project • Overview • 1532

Hilbert polynomial basis theorem
Langmann Nullstellensatz