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) …
Added LieSubmodule.lowerCentralSeries_eq_bot_iff_lcs_eq_botView on Github →