Theorem Matrix.isSimplyLaced_iff_of_linearOrder

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 Matrix.isSimplyLaced_iff_of_linearOrderView on Github →