Commit 2024-03-08 20:34 c992d17b
View on Github →feat(CategoryTheory/EssentialImage): show that surjective functors are essentially surjective (#11239)
Show that if F.obj is surjective, F is essentially surjective.
feat(CategoryTheory/EssentialImage): show that surjective functors are essentially surjective (#11239)
Show that if F.obj is surjective, F is essentially surjective.