mathlib3
feat(linear_algebra/basic): define algebra structure on endomorphisms of module
#1618
Merged
Overview
Commits
3
Changes
View On GitHub
Commits
  • feat(linear_algebra/basic): define algebra structure on endomorphisms of module
    Oliver Nash committed 6 years ago
  • Update algebra.lean
    ChrisHughes24 committed 6 years ago
  • Merge branch 'master' into module_endomorphism_algebra
    mergify[bot] committed 6 years ago
FAQ Terms Privacy Refunds Impressum
Loading