Theorem Subgroup.normal_of_le_center

Modification history

2026-08-31 14:42
Mathlib/GroupTheory/Subgroup/Center.lean
feat(GroupTheory): results on normal subgroups of nilpotent groups (#43061) …
Added Subgroup.normal_of_le_centerView on Github →