Theorem RootPairing.coroot'_ne_zero

Modification history

2026-09-08 16:08
Mathlib/LinearAlgebra/RootSystem/Defs.lean
feat: supporting API for Cartan matrix realisations (#43460)
Added RootPairing.coroot'_ne_zeroView on Github →