mathlib
e9c3dbd9 - feat(linear_algebra/bilinear_form/tensor_product): tensor product of bilinear forms

Commit
3 years ago
feat(linear_algebra/bilinear_form/tensor_product): tensor product of bilinear forms
Author
Committer
Parents
Loading