Mathlib v3 is deprecated. Go to Mathlib v4

Theorem module.End.map_generalized_eigenrange_le

Modification history

2020-09-24 03:33

src/linear_algebra/eigenspace.lean

feat(linear_algebra/eigenspace): generalized eigenvectors span the entire space (#4111)

Added module.End.map_generalized_eigenrange_le View on Github →