Def RootPairing.Base.toWeightBasisInt

Modification history

2026-06-12 11:46

Mathlib/LinearAlgebra/RootSystem/Base.lean

feat: further API for Cartan matrices (#40424)

Added RootPairing.Base.toWeightBasisInt View on Github →