A computer-checked proof of the odd order theorem.

Advertisements