[Merged by Bors] - feat(CategoryTheory): characterization of injective objects in terms of lifting properties#22104
Closed
joelriou wants to merge 11 commits intomasterfrom jriou-injective-rlp
+152-34
Commits
Commits on Feb 19, 2025
Commits on Feb 20, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed