Theorem CartanMatrix.F₄_det

Modification history

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