mathlib

1fa03c29 - feat(linear_algebra/basic): define algebra structure on endomorphisms of module (#1618)

feat(linear_algebra/basic): define algebra structure on endomorphisms of module (#1618) * feat(linear_algebra/basic): define algebra structure on endomorphisms of module * Update algebra.lean