Theorem RootPairing.pairing_flip

Modification history

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