mathlib3

aadd853d - feat(algebra/category): add more variants of Module.as_hom (#6822)