Commit 2026-03-13 20:58 c335381a
View on Github →feat(CategoryTheory/MorphismProperty): Change mono/epi/iso morphismproperty to abbrev (#36610)
This PR changes MorphismProperty.monomorphisms, MorphismProperty.epimorphisms and MorphismProperty.isomorphisms to being abbrevs. This allows instance search to look for monomorphisms C f etc...