Theorem CategoryTheory.Functor.essImage_ext

Modification history

2024-09-05 08:22

Mathlib/CategoryTheory/EssentialImage.lean

chore(CategoryTheory/Adjunction): address porting notes in `Reflective` file (#16089)

Added CategoryTheory.Functor.essImage_ext View on Github →