Commit 2024-11-05 15:53 2b9a98d4
View on Github →multiplicative version of classification of finite abelian groups (#18659) This adds a multiplicative version of the classification theorem for finite abelian groups (using a Pi type instead of a direct sum).