feit-thompson-theorem topic
List
feit-thompson-theorem repositories
odd-order
24
Stars
16
Forks
Watchers
The formal proof of the Odd Order Theorem
