Def RootPairing.Base.toCoweightBasis

Modification history

2025-01-17 18:44

Mathlib/LinearAlgebra/RootSystem/Base.lean

feat: define bases of root pairings (#20667)

Added RootPairing.Base.toCoweightBasis View on Github →