mathlib

d6a0ac58 - refactor(category_theory/limits/shapes/pullbacks): proof golf (#1407)

refactor(category_theory/limits/shapes/pullbacks): proof golf (#1407) * refactor(category_theory/limits): make is_[co]limit not a class * refactor(category_theory/limits/shapes/pullbacks): proof golf