Def CategoryTheory.Limits.Types.PullbackCone.toPullbackObj

Modification history

2025-11-17 00:03
Mathlib/CategoryTheory/Limits/Types/Pullbacks.lean
chore(CategoryTheory/Limits/Types): split Shapes.lean (#31258) …
Modified CategoryTheory.Limits.Types.PullbackCone.toPullbackObjView on Github →
2024-07-30 16:14
Mathlib/CategoryTheory/Limits/Shapes/Types.lean
feat(CategoryTheory): preservation of pullback/pushout squares (#15044) …
Added CategoryTheory.Limits.Types.PullbackCone.toPullbackObjView on Github →