Documentation
Atlas
.
AlgebraNotes
.
code
.
JordanCyclicBasis
Search
return to top
source
Imports
Init
Mathlib.RingTheory.AdjoinRoot
Mathlib.RingTheory.PowerBasis
Atlas.AlgebraNotes.code.JordanForm
Mathlib.LinearAlgebra.Dimension.Finrank
Mathlib.LinearAlgebra.Matrix.ToLin
Imported by