mathlib
6f9ec121 - doc(group_theory/sylow): Expand Frattini's argument docstring (#10174)

Commit

4 years ago

doc(group_theory/sylow): Expand Frattini's argument docstring (#10174) Expands the docstring for Frattini's argument.

Author

tb65536

Parents