tensor_product): the tensor product of finite modules is finite

Commit

3 years ago

feat(linear/algebra/tensor_product): the tensor product of finite modules is finite

Author

antoinelab01

Parents