Theorem CategoryTheory.MorphismProperty.Over.hasPullbacks
Modification history
2024-11-15 02:04
Mathlib/CategoryTheory/Limits/MorphismProperty.lean
chore(CategoryTheory/MorphismProperty): split `HasTwoOutOfThreeProperty` (#18877) …
Deleted CategoryTheory.MorphismProperty.Over.hasPullbacksView on Github →