mathlib3
f91d3736 - feat(linear_algebra/bilinear_form/tensor_product): tensor product of bilinear forms (#18211)

Commit
2 years ago
feat(linear_algebra/bilinear_form/tensor_product): tensor product of bilinear forms (#18211)
Author
Parents
Loading