Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-05-02 00:17
106ac8e0
View on Github →
feat(category_theory): definition of R-linear category (
#7321
)
Estimated changes
Modified
src/algebra/category/Module/basic.lean
Created
src/category_theory/linear/default.lean
added
def
category_theory.linear.comp
added
def
category_theory.linear.left_comp
added
def
category_theory.linear.right_comp