Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.over.over_product_of_pullbacks

Modification history

2020-04-23 01:10
src/category_theory/limits/over.lean
feat(category_theory): wide pullbacks and limits in the over category (#2461) …
Deleted category_theory.over.over_product_of_pullbacksView on Github →
2020-03-14 20:14
src/category_theory/limits/over.lean
feat(category_theory/comma): some limits in the over category and iterated slices (#2131) …
Added category_theory.over.over_product_of_pullbacksView on Github →