Mathlib v3 is deprecated. Go to Mathlib v4

Def Module.product_cone_is_limit

Modification history

2022-05-04 07:50

src/algebra/category/Module/products.lean

feat(algebra/category/FinVect): has finite limits (#13793)

Added Module.product_cone_is_limit View on Github →