ProjectOverview • 1532

Hilbert polynomial basis theorem
Langmann Nullstellensatz