feat(CategoryTheory): MorphismProperty.single#38257

joelriou wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

joelriou:morphism-property-singlejoelriou/mathlib4:morphism-property-singleCopy head branch name to clipboard