tensor_product): define (binary) tensor product of Lie modules (#7266)

Commit

4 years ago

feat(algebra/lie/tensor_product): define (binary) tensor product of Lie modules (#7266)

Author

ocfnash

Parents