Theorem CategoryTheory.MorphismProperty.functorCategory_isomorphisms

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_isomorphismsView on Github →