mathlib3

b579f67a - `foo_hom_class` instances for `ring_equiv`