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.4.0

CeCILL-B

Used by 0 other packages

24 Jul 2026