Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-05-03 11:30 f5060c40

View on Github →

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

Estimated changes

added def I
added def I_0
added def I_1
added def R
added def X
added def Y
added def cylinder
added def cylinder_0
added def cylinder_1
added def d
added def f
added def g
added def mapping_cone
added def mapping_cylinder
added def pt
added def q
added def to_pt
added def w