Theorem CategoryTheory.Limits.pullback_lift_diagonal_isPullback

Modification history

2024-11-15 02:04
Mathlib/CategoryTheory/Limits/Shapes/Diagonal.lean
chore(CategoryTheory/MorphismProperty): split `HasTwoOutOfThreeProperty` (#18877) …
Added CategoryTheory.Limits.pullback_lift_diagonal_isPullbackView on Github →