mathlib3

feat(linear_algebra/basic): define algebra structure on endomorphisms of module

#1618

Merged