Krull's principal ideal theorem

GPTKB entity