Def CategoryTheory.Limits.PullbackCone.mkSelfIsLimit

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.PullbackCone.mkSelfIsLimit View on Github →