nilpotent): add definition `lie_ideal.lcs` (#11854)

Commit

3 years ago

feat(algebra/lie/nilpotent): add definition `lie_ideal.lcs` (#11854) This is extremely useful when proving a generalised version of Engel's lemma.

Author

ocfnash

Parents