Notes about "An introduction to Finite Group Representation Theory using Agda"
Primary LanguageTeXMIT LicenseMIT