Def category_theory.limits.types.is_limit_equiv_sections

Modification history

2022-05-09 11:26

src/category_theory/limits/types.lean

feat(category_theory/limits): allow (co)limits over lower universes in algebraic categories (#13990) …

Modified category_theory.limits.types.is_limit_equiv_sections View on Github →

2020-09-13 03:55

src/category_theory/limits/types.lean

feat(category_theory/limits/types): is_limit versions of limits in type (#4130) …

Added category_theory.limits.types.is_limit_equiv_sections View on Github →