basic): additional lemmas concerning `lie_algebra.derived_series_of_ideal` (#5815)

Commit

4 years ago

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

Author

ocfnash

Parents