Def category_theory.limits.pullback.lift'

Modification history

2020-08-10 12:46

src/category_theory/limits/shapes/pullbacks.lean

chore(category_theory/limits): minor changes in equalizers and products (#3603)

Modified category_theory.limits.pullback.lift'View on Github →

2020-04-15 16:47

src/category_theory/limits/shapes/pullbacks.lean

feat(category_theory/limits): special shapes API cleanup (#2423) …

Added category_theory.limits.pullback.lift'View on Github →