Theorem CategoryTheory.Limits.hasColimit_rightOp_iff_hasLimit

Modification history

2026-02-17 21:47
Mathlib/CategoryTheory/Limits/Opposites.lean
chore(CategoryTheory/Limits): add instances for `HasPullback f.op g.op` and `HasPushout f.op g.op` (#35453) …
Added CategoryTheory.Limits.hasColimit_rightOp_iff_hasLimitView on Github →