subalgebra): add subalgebra.prod (#7782)

Commit

4 years ago

feat(algebra/algebra/subalgebra): add subalgebra.prod (#7782) We add a basic API for product of subalgebras.

Author

riccardobrasca

Parents