Artin-Schreier extension

GPTKB entity