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

Commit
4 years ago
feat(algebra/algebra/subalgebra): define the center of a (unital) algebra (#10910)
Author
Parents
Loading