Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-02-26 03:29 7201c3b4

View on Github →

feat(category_theory/limits): more opposite-related transformations of cones (#12165)

Estimated changes

Modified src/category_theory/limits/cones.lean

added def category_theory.limits.cocone_of_cone_right_op

added def category_theory.limits.cocone_of_cone_unop

added def category_theory.limits.cocone_right_op_of_cone

added def category_theory.limits.cocone_unop_of_cone

added def category_theory.limits.cone_of_cocone_right_op

added def category_theory.limits.cone_of_cocone_unop

added def category_theory.limits.cone_right_op_of_cocone

added def category_theory.limits.cone_unop_of_cocone

Modified src/category_theory/limits/opposites.lean

Modified src/topology/sheaves/sheaf_condition/pairwise_intersections.lean