mathlib

68a79da1 - chore(algebra/hom): add `inline` attributes to preserve computability