feat(data/matrix/basic): add `alg_(hom|equiv).map_matrix` (#8527)
feat(data/matrix/basic): add `alg_(hom|equiv).map_matrix` (#8527)

This also adds a few standalone lemmas about `algebra_map`.





leanprover-community/mathlib,leanprover-community/mathlib