Def RootPairing.coxeterWeight

Modification history

2024-03-02 15:57

Mathlib/LinearAlgebra/RootSystem/Defs.lean

feat(LinearAlgebra/RootSystem/Defs): Properties of pairs of roots (#10666) …

Added RootPairing.coxeterWeight View on Github →