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







leanprover-community/mathlib,leanprover-community/mathlib