Theorem RootPairing.Base.exists_cartanMatrix_diagaonal_mul_posDef

Modification history

2026-06-12 11:46
Mathlib/LinearAlgebra/RootSystem/CartanMatrix.lean
feat: further API for Cartan matrices (#40424)
Added RootPairing.Base.exists_cartanMatrix_diagaonal_mul_posDefView on Github →