Def category_theory.limits.punit_cone

Modification history

2021-05-25 00:46

src/category_theory/limits/punit.lean

feat(category_theory/limits): comma category colimit construction (#7535) …

Added category_theory.limits.punit_cone View on Github →