Zero-locus theorem

GPTKB entity