Commit 2021-10-26 09:09 6b47ccb7
View on Github →feat(group_theory/p_group): Center of a p-group is nontrivial (#9973) The center of a p-group is nontrivial, stated in two different ways.
feat(group_theory/p_group): Center of a p-group is nontrivial (#9973) The center of a p-group is nontrivial, stated in two different ways.