mathlib3
feat(linear_algebra/basic): define algebra structure on endomorphisms of module
#1618
Merged
Merged
feat(linear_algebra/basic): define algebra structure on endomorphisms of module #1618
mergify
merged
3 commits into
leanprover-community:master
from
module_endomorphism_algebra
feat(linear_algebra/basic): define algebra structure on endomorphisms…
c872e467
Update algebra.lean
90281786
ChrisHughes24
approved these changes
on 2019-10-27
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into module_endomorphism_algebra
7d3e77ec
Login to write a write a comment.
Login via GitHub