Theorem Matrix.isSimplyLaced_transpose

Modification history

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