Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-08-16 11:55
deedf250
View on Github →
feat(algebra/lie/semisimple): adjoint action is injective for semisimple Lie algebras (
#8698
)
Estimated changes
Modified
src/algebra/lie/abelian.lean
added
theorem
lie_algebra.ad_ker_eq_self_module_ker
deleted
theorem
lie_algebra.center_eq_adjoint_kernel
added
theorem
lie_algebra.self_module_ker_eq_center
Modified
src/algebra/lie/semisimple.lean
added
theorem
lie_algebra.ad_ker_eq_bot_of_semisimple