feat(algebra/lie/basic): additional lemmas concerning lie_algebra.derived_series_of_ideal (#5815)
lie_algebra.derived_series_of_ideal