nilpotent): basic facts about nilpotent Lie algebras (#6378)

Commit

4 years ago

feat(algebra/lie/nilpotent): basic facts about nilpotent Lie algebras (#6378) Co-authored-by: Johan Commelin <johan@commelin.net>

Author

ocfnash

Parents