Theorem CartanMatrix.G₂_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.G₂_detView on Github →