Def CategoryTheory.Limits.PushoutCocone.opUnop

Modification history

2025-10-21 12:12
Mathlib/CategoryTheory/Limits/Shapes/Opposites/Pullbacks.lean
feat(CategoryTheory/Limits/Opposites) : add opposites of coforks and forks (#30200) …
Deleted CategoryTheory.Limits.PushoutCocone.opUnopView on Github →
2025-10-15 10:06
Mathlib/CategoryTheory/Limits/Opposites.lean
chore(CategoryTheory/Limits/Opposites): split the file Limits.Opposites (#30517) …
Modified CategoryTheory.Limits.PushoutCocone.opUnopView on Github →
2023-03-11 16:29
Mathlib/CategoryTheory/Limits/Opposites.lean
feat: port CategoryTheory.Limits.Opposites (#2805)
Added CategoryTheory.Limits.PushoutCocone.opUnopView on Github →