Feit–Thompson theorem

GPTKB entity