mathlib

844a4f7b - refactor(algebra/hom/group): Generalize `map_inv` to division monoids (#14134)

refactor(algebra/hom/group): Generalize `map_inv` to division monoids (#14134) A minor change with unexpected instance synthesis breakage. A good deal of dot notation on `monoid_hom.map_inv` breaks, along with a few uses of `map_inv`. Expliciting the type fixes them all, but this is still quite concerning.