Def Matrix.IsSimplyLaced

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 View on Github →