mathlib
1ed19a9d - feat(group_theory/nilpotent): p-groups are nilpotent (#11726)

Commit

4 years ago

feat(group_theory/nilpotent): p-groups are nilpotent (#11726)

Author

nomeata

nomeata

Parents

Loading