abelian): expand API for `lie_module.maximal_trivial_submodule` (#7235)

Commit

4 years ago

feat(algebra/lie/abelian): expand API for `lie_module.maximal_trivial_submodule` (#7235)

Author

ocfnash

Parents