Def category_theory.limits.wide_pushout.ι

Modification history

2021-05-10 16:44

src/category_theory/limits/shapes/wide_pullbacks.lean

feat(category_theory/limits/shapes/wide_pullbacks): Adds some wrappers around the (co)limit api for wide pullbacks/pushouts (#7546) …

Added category_theory.limits.wide_pushout.ι View on Github →