feat(algebra/algebra/subalgebra): define the center of a (unital) algebra (#10910)
feat(algebra/algebra/subalgebra): define the center of a (unital) algebra (#10910)






leanprover-community/mathlib,leanprover-community/mathlib