/group_theory

group theory done in lean using Dummit and Foote's "Abstract Algebra"

Primary LanguageLean

Watchers