Theorem CartanMatrix.isSimplyLaced_A

Modification history

2026-01-04 03:21
Mathlib/Data/Matrix/Cartan.lean
feat(Data/Matrix/Cartan): determinants and simply-laced properties (#33115) …
Added CartanMatrix.isSimplyLaced_AView on Github →