Mathlib v3 is deprecated. Go to Mathlib v4

Theorem lie_submodule.coe_map_to_endomorphism_le

Modification history

2022-06-14 13:35

src/algebra/lie/of_associative.lean

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

Modified lie_submodule.coe_map_to_endomorphism_le View on Github →

2022-02-10 10:46

src/algebra/lie/of_associative.lean

feat(algebra/lie/engel): add proof of Engel's theorem (#11922)

Added lie_submodule.coe_map_to_endomorphism_le View on Github →