Def Module.of

Modification history

2020-09-01 12:18

src/algebra/category/Module/basic.lean

refactor(algebra/category/*, category_theory/concrete_category): generalize universes for concrete categories (#3687) …

Modified Module.of View on Github →

2020-04-11 04:27

src/algebra/category/Module/basic.lean

chore(*): switch to lean 3.8.0 (#2361) …

Modified Module.of View on Github →

2019-10-04 14:08

src/algebra/category/Module/basic.lean

feat(algebra/Module): the category of R-modules (#1420) …

Added Module.of View on Github →