Mathlib v3 is deprecated. Go to Mathlib v4

Def Module.limit_π_linear_map

Modification history

2020-07-28 09:27
src/algebra/category/Module/limits.lean
refactor(algebra/category/*/limits): refactor concrete limits (#3463) …
Added Module.limit_π_linear_mapView on Github →