Theorem RootPairing.Equiv.coweightMap_coweightEquiv_symm

Modification history

2024-10-31 02:17
Mathlib/LinearAlgebra/RootSystem/Hom.lean
feat (RootSystem/Hom): endomorphisms and automorphisms of root pairings (#18025) …
Added RootPairing.Equiv.coweightMap_coweightEquiv_symmView on Github →