basic): define ideal operations for Lie modules (#5337)

Commit

5 years ago

feat(algebra/lie/basic): define ideal operations for Lie modules (#5337) Co-authored-by: Johan Commelin <johan@commelin.net>

Author

Oliver Nash

Parents