Commit 2023-08-14 12:56 6d6b40f7

View on Github →

feat(LinearAlgebra/BilinearForm): a tensor product of symmetric bilinear forms is symmetric (#6466)

Estimated changes

added theorem BilinForm.IsSymm.tmul