Documentation
LeanCourse
.
MIL
.
C09_Linear_Algebra
.
S04_Bases
Search
Google site search
return to top
source
Imports
Init
LeanCourse.Common
Mathlib.LinearAlgebra.Charpoly.Basic
Mathlib.LinearAlgebra.Dimension.Finrank
Mathlib.LinearAlgebra.Eigenspace.Minpoly
Mathlib.LinearAlgebra.Matrix.Determinant.Basic
Imported by