Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-02-27 10:42 f91d3736

View on Github →

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

Estimated changes