Def category_theory.limits.pushout_cocone.of_cocone

Modification history

2019-05-03 11:30

src/category_theory/limits/shapes/pullbacks.lean

feat(category_theory/limits): support for special shapes of (co)limits (#938) …

Added category_theory.limits.pushout_cocone.of_cocone View on Github →