[Merged by Bors] - feat(CategoryTheory/MorphismProperty): HasPullbacksAgainst#39534
Closed
robin-carlier wants to merge 4 commits into
Closed
[Merged by Bors] - feat(CategoryTheory/MorphismProperty): HasPullbacksAgainst#39534robin-carlier wants to merge 4 commits into
HasPullbacksAgainst#39534robin-carlier wants to merge 4 commits into
Commits
Commits on May 13, 2026
- committed
Commits on May 18, 2026
- committed
- committed
- committed