Grossberg–Kempf theorem

GPTKB entity