Theorem LieModule.exists_lowerCentralSeries_eq_bot_of_isNilpotent
Modification history
2025-08-05 07:35
Mathlib/Algebra/Lie/Nilpotent.lean
chore: further >6month old deprecations (#27799)
Deleted LieModule.exists_lowerCentralSeries_eq_bot_of_isNilpotentView on Github →