Chevalley theorem

GPTKB entity