mathlib3

40cfdecd - chore(algebra/algebra/basic): alg_equiv.map_smul (#10805)