mathlib

a538cf42 - chore(algebra/algebra/basic): add `algebra.coe_linear_map`