mathlib3
a945b187 - feat(linear_algebra/tensor_product): tensor_product.map is bilinear in its two arguments (#13608)

Commit

3 years ago

feat(linear_algebra/tensor_product): tensor_product.map is bilinear in its two arguments (#13608) Co-authored-by: antoinelab01 <66086247+antoinelab01@users.noreply.github.com>

Author

antoinelab01

Parents

17102ae8

mathlib3 a945b187 - feat(linear_algebra/tensor_product): tensor_product.map is bilinear in its two arguments (#13608)

mathlib3
a945b187 - feat(linear_algebra/tensor_product): tensor_product.map is bilinear in its two arguments (#13608)