Pinned Loading

1. odd-order odd-order Public

   The Feit–Thompson odd order theorem in Lean 4, with the finite group theory library it required — Hall, Fitting, Frobenius groups, transfer, ZJ, Dade isometry, coherence

   Lean 6

2. odd-order-submission odd-order-submission Public

   Self-contained lean-eval submission of the Feit–Thompson theorem, extracted from yawara/odd-order

   Lean 2