tensor_product.lean

Commit

3 years ago

Update src/linear_algebra/tensor_product.lean Co-authored-by: Junyan Xu <junyanxumath@gmail.com>

References

Author

antoinelab01

Parents