Theorem lie_algebra.center_eq_adjoint_kernel
Modification history
2021-08-16 11:55
src/algebra/lie/abelian.lean
feat(algebra/lie/semisimple): adjoint action is injective for semisimple Lie algebras (#8698)
Deleted lie_algebra.center_eq_adjoint_kernelView on Github →