Theorem CartanMatrix.det_E_add_two

Modification history

2026-08-13 09:59
Mathlib/LinearAlgebra/Matrix/Cartan.lean
feat(LinearAlgebra/Matrix): add the generalized E-type Cartan matrix family (#42157) …
Added CartanMatrix.det_E_add_twoView on Github →