Mathlib v3 is deprecated. Go to Mathlib v4

Structure Module

Modification history

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