Theorem RootPairing.coxeterWeight_flip

Modification history

2025-11-17 10:36
Mathlib/LinearAlgebra/RootSystem/Defs.lean
feat: miscellaneous root system lemmas (#29147)
Added RootPairing.coxeterWeight_flipView on Github →