Theorem CartanMatrix.F₄_off_diag_nonpos

Modification history

2025-12-19 18:36
Mathlib/Data/Matrix/Cartan.lean
feat(Data/Matrix/Cartan): off-diagonal and transpose for exceptional matrices (#32998) …
Added CartanMatrix.F₄_off_diag_nonposView on Github →