Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.limits.pushout.map

Modification history

2021-11-15 19:12

src/category_theory/limits/shapes/pullbacks.lean

feat(category_theory/limits): Random results about limits. (#10285)

Added category_theory.limits.pushout.map View on Github →