odd-order-theorem

There are 0 repository under odd-order-theorem topic.

math-comp / odd-order
The formal proof of the Odd Order Theorem
coq ssreflect mathcomp feit-thompson-theorem odd-order-theorem
Language:Coq 24