nilpotent): add lemma `lie_module.coe_lower_central_series_ideal_le` (#11851)

Commit

3 years ago

feat(algebra/lie/nilpotent): add lemma `lie_module.coe_lower_central_series_ideal_le` (#11851)

Author

ocfnash

Parents