Def CategoryTheory.Limits.PushoutCocone.mkSelfIsColimit

Modification history

2024-07-11 10:12
Mathlib/CategoryTheory/Limits/Shapes/Pullback/PullbackCone.lean
feat(Limits/Shapes/Pullback): Add API and golf proofs (#14524) …
Added CategoryTheory.Limits.PushoutCocone.mkSelfIsColimitView on Github →