mathlib

b5f48259 - refactor(algebra/hom/equiv): split files