finite Chevalley group

GPTKB entity