Theorem LieSubmodule.lowerCentralSeries_eq_bot_iff_lcs_eq_bot:

Modification history

2025-07-04 10:05
Mathlib/Algebra/Lie/Nilpotent.lean
chore: whitespace before `:` (#26727) …
Deleted LieSubmodule.lowerCentralSeries_eq_bot_iff_lcs_eq_bot:View on Github →
2025-02-17 07:03
Mathlib/Algebra/Lie/Nilpotent.lean
feat: prove isNilpotentAdd for LieSubmodules (#21962) …
Added LieSubmodule.lowerCentralSeries_eq_bot_iff_lcs_eq_bot:View on Github →