Theorem BilinForm.isSymm_iff_flip'

Modification history

2023-08-14 12:56
Mathlib/LinearAlgebra/BilinearForm.lean
feat(LinearAlgebra/BilinearForm): a tensor product of symmetric bilinear forms is symmetric (#6466)
Deleted BilinForm.isSymm_iff_flip'View on Github →
2023-05-22 17:42
Mathlib/LinearAlgebra/BilinearForm.lean
feat: port LinearAlgebra.BilinearForm (#4202)
Added BilinForm.isSymm_iff_flip'View on Github →