basic): normalizer condition implies max subgroups normal (#11597)

Commit

3 years ago

feat(group_theory/subgroup/basic): normalizer condition implies max subgroups normal (#11597)

Author

nomeata

Parents