Proof in Lean that all groups of order p² (p prime) are abelian.
Primary LanguageLean
This repository is not active