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.eq_desc_of_comp_eq