docs(group_theory/p_group): Swap mismatched docstrings (#16065)
docs(group_theory/p_group): Swap mismatched docstrings (#16065)

This PR swaps two mismatched docstrings.





leanprover-community/mathlib,leanprover-community/mathlib