Def category_theory.linear.left_comp

Modification history

2021-05-02 00:17
src/category_theory/linear/default.lean
feat(category_theory): definition of R-linear category (#7321)
Added category_theory.linear.left_compView on Github →