group theory done in lean using Dummit and Foote's "Abstract Algebra"
Primary LanguageLean
No issues in this repository yet.