Mathlib v3 is deprecated. Go to Mathlib v4

Def lie_module.to_endo_morphism

Modification history

2021-02-07 23:41
src/algebra/lie/basic.lean
feat(algebra/lie/basic): define the center of a Lie algebra and prove some related results (#6013)
Deleted lie_module.to_endo_morphismView on Github →
2020-11-17 15:27
src/algebra/lie/basic.lean
refactor(algebra/lie/basic): unbundle the action in `lie_module` (#4959)
Added lie_module.to_endo_morphismView on Github →