1 search result for "tag:"keyword:Feit Thompson theorem""

Showing 1 - 1

coq-mathcomp-odd-order

No documentation

The formal proof of the Feit-Thompson theorem

keyword:finite groups keyword:Feit Thompson theorem keyword:small scale reflection keyword:mathematical components keyword:odd order theorem

Jeremy Avigad <> Andrea Asperti <> Stephane Le Roux <> Yves Bertot <> Laurence Rideau <> et al.

2.3.0

CeCILL-B

Used by 0 other packages

13 Nov 2025