Theorem CartanMatrix.F₄_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.F₄_diagView on Github →