mathlib
17a473e8 - feat(group_theory/p_group): Sup of p-subgroups is a p-subgroup (#9222)

Commit

4 years ago

feat(group_theory/p_group): Sup of p-subgroups is a p-subgroup (#9222) The sup of p-subgroups is a p-subgroup, assuming normality.

Author

tb65536

Parents