feat(algebra/star/basic): `ring.inverse_star` (#10039)
feat(algebra/star/basic): `ring.inverse_star` (#10039)

Also adds `is_unit.star` and `is_unit_star`.





leanprover-community/mathlib,leanprover-community/mathlib