Theorem CartanMatrix.G₂_diag

Modification history

2025-12-17 09:13
Mathlib/Data/Matrix/Cartan.lean
feat(Data/Matrix/Cartan): diagonal theorems for exceptional matrices (#32967) …
Added CartanMatrix.G₂_diagView on Github →