A Formalisation of the Mathieu-24 Group
Publication date
Authors
DOI
Document Type
Bachelor Thesis
Metadata
Show full item recordCollections
License
CC-BY-NC-ND
Abstract
The Mathieu-24 group is one of the finite simple groups. Formalizing this group is one of the steps towards formalizing the classification theorem of finite simple groups