mathlib

30a87f68 - Merge branch 'algebra_hom_equiv' into algebra_divisibility