Theorem LinearMap.BilinForm.apply_toDual_symm_apply

Modification history

2024-04-20 13:53
Mathlib/LinearAlgebra/BilinearForm/Properties.lean
feat: define the coroots of a semisimple Lie algebra (#10893) …
Added LinearMap.BilinForm.apply_toDual_symm_applyView on Github →