mathlib

1c21dc1a - feat(algebra/algebra): instantiate `ring_hom_class` for `alg_hom`