Artin–Schreier theorem

GPTKB entity