Lean

• Field Theory
  • The primitive element theorem.
  • Galois theory.
  • Insolvability of the quintic.
  • Frobenius elements.
• Finite Group Theory
  • Sylow's theorems.
  • Burnside's transfer theorem.
  • The Schur-Zassenhaus theorem.
  • Z-Groups.
  • Schreier's lemma.
  • Commuting probability of finite groups.
• Miscellaneous
  • Covering spaces.
  • The Pontryagin dual.
  • Finite projective planes.
  • Irreducibility of x^n-x-1.
  • Inverse matrices over semirings.