mathlib3

refactor(algebra/star): replace `star_ring_aut` with `star`

#9692

Open