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