mathlib3
6b47ccb7 - feat(group_theory/p_group): Center of a p-group is nontrivial (#9973)

Commit

4 years ago

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.

Author

tb65536

Parents