Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
category_theory.limits.limit_cone_of_equalizer_and_product
Modification history
2022-05-04 07:50
src/category_theory/limits/constructions/limits_of_products_and_equalizers.lean
feat(algebra/category/FinVect): has finite limits (#13793)
Added
category_theory.limits.limit_cone_of_equalizer_and_product
View on Github →