algebras are nilpotent (#11422)

Commit

4 years ago

feat(algebra/lie/nilpotent): central extensions of nilpotent Lie modules / algebras are nilpotent (#11422) The main result is `lie_algebra.nilpotent_of_nilpotent_quotient`.

Author

ocfnash

Parents

432e85ef

mathlib3 6fa2e46e - feat(algebra/lie/nilpotent): central extensions of nilpotent Lie modules / algebras are nilpotent (#11422)

mathlib3
6fa2e46e - feat(algebra/lie/nilpotent): central extensions of nilpotent Lie modules / algebras are nilpotent (#11422)