[Merged by Bors] - feat(CategoryTheory): local epimorphisms wrt. an object property#39731
Closed
chrisflav wants to merge 3 commits into
Closed
[Merged by Bors] - feat(CategoryTheory): local epimorphisms wrt. an object property#39731chrisflav wants to merge 3 commits into
chrisflav wants to merge 3 commits into
Commits
Commits on May 23, 2026
- committed
Commits on May 27, 2026
- committed
- committed