mathlib3

f11702c1 - star_ring_hom and star_ring_equiv