mathlib3

3802041e - Create folder linear_algebra/tensor_product