mathlib
89f46ddd - docs(group_theory/p_group): Swap mismatched docstrings (#16065)

Commit

3 years ago

docs(group_theory/p_group): Swap mismatched docstrings (#16065) This PR swaps two mismatched docstrings.

Author

tb65536

Parents