mathlib

84f12be1 - chore(algebra/star/self_adjoint): improve definitional unfolding of pow and div (#12085)