Documentation
RootSystem
Search
return to top
source
Imports
Init
RootSystem.An
RootSystem.BCn
RootSystem.Cn
Mathlib.Data.Matrix.Cartan
Mathlib.LinearAlgebra.RootSystem.Base
Mathlib.LinearAlgebra.RootSystem.Irreducible
Mathlib.LinearAlgebra.RootSystem.IsValuedIn
Mathlib.LinearAlgebra.RootSystem.Reduced
Imported by