Theorem Group.IsPerfect.center_quotient_center_eq_bot

Modification history

2026-06-24 00:45
Mathlib/GroupTheory/IsPerfect.lean
feat(GroupTheory/IsPerfect): Grün's lemma (#39956) …
Added Group.IsPerfect.center_quotient_center_eq_botView on Github →