mathlib3
09afe572 - feat(group_theory/p_group): Groups of order p^2 are commutative (#8632)

Commit

3 years ago

feat(group_theory/p_group): Groups of order p^2 are commutative (#8632) Co-authored-by: Chris Hughes <33847686+ChrisHughes24@users.noreply.github.com>

Author

ChrisHughes24

Parents

13ff898b

mathlib3 09afe572 - feat(group_theory/p_group): Groups of order p^2 are commutative (#8632)

mathlib3
09afe572 - feat(group_theory/p_group): Groups of order p^2 are commutative (#8632)