Commit 2021-10-31 23:00 76f13b36

feat(algebra/star/basic): ring.inverse_star (#10039) Also adds is_unit.star and is_unit_star.