feat(algebra/lie/basic): define the center of a Lie algebra and prove some related results (#6013)
feat(algebra/lie/basic): define the center of a Lie algebra and prove some related results (#6013)





leanprover-community/mathlib,leanprover-community/mathlib