Def category_theory.functor.cones
Modification history
2021-11-26 11:04
src/category_theory/limits/cones.lean
chore(category_theory/limits): Generalize universes for limits (#10243)
Modified category_theory.functor.conesView on Github →2021-03-20 10:08
src/category_theory/limits/cones.lean
refactor(category_theory/cones): golf and cleanup cones (#6756) …
Modified category_theory.functor.conesView on Github →2019-02-02 18:42
src/category_theory/limits/cones.lean
cleanup(category_theory/cones): tidying up, after making opposites work better (#675)
Modified category_theory.functor.conesView on Github →2019-01-16 08:14
src/category_theory/limits/cones.lean
style(category_theory/opposites): increase binding power of ᵒᵖ (#600)
Modified category_theory.functor.conesView on Github →