Def RootPairing.IsOrthogonal

Modification history

2024-03-02 15:57

Mathlib/LinearAlgebra/RootSystem/Defs.lean

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

Added RootPairing.IsOrthogonal View on Github →