Classification of Finite Simple Groups Formalized in Lean

  • Thread starter Thread starter pfdietz
  • Start date Start date
You must log in or register to reply here.
Back
Top