Theorem CategoryTheory.MorphismProperty.functorCategory_monomorphisms

Modification history

2025-04-14 07:09
Mathlib/CategoryTheory/MorphismProperty/FunctorCategory.lean
feat(CategoryTheory): stability properties of morphisms properties in functor categories (#23298) …
Added CategoryTheory.MorphismProperty.functorCategory_monomorphismsView on Github →