Theorem CartanMatrix.A_isSymm

Modification history

2026-01-19 11:57
Mathlib/Data/Matrix/Cartan.lean
feat(Data/Matrix/Cartan): add IsSymm lemmas and simplify IsSimplyLaced proofs (#33870) …
Added CartanMatrix.A_isSymmView on Github →