Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-12-02 17:36 74b65e21

View on Github →

fix(category_theory/limits): change argument order on cones.precompose/whisker

Estimated changes

Modified category_theory/limits/cones.lean

modified def category_theory.limits.cocone.precompose

modified def category_theory.limits.cocone.whisker

modified def category_theory.limits.cone.postcompose

modified def category_theory.limits.cone.whisker