Mathlib v3 is deprecated. Go to Mathlib v4

Theorem module.End.eigenspace_zero

Modification history

2022-06-14 13:35

src/linear_algebra/eigenspace.lean

feat(algebra/lie/weights): the zero root space is the Cartan subalgebra for a Noetherian Lie algebra (#14174)

Added module.End.eigenspace_zero View on Github →