Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Module.coe_comp

Modification history

2019-10-04 14:08
src/algebra/category/Module/basic.lean
feat(algebra/Module): the category of R-modules (#1420) …
Added Module.coe_compView on Github →