subalgebra): add a helper to promote submodules to subalgebras (#12368)

Commit

3 years ago

feat(algebra/algebra/subalgebra): add a helper to promote submodules to subalgebras (#12368)

Author

eric-wieser

Parents