mathlib

3f9b0355 - chore(category_theory/adjunction): reflective lemmas (#5968)

chore(category_theory/adjunction): reflective lemmas (#5968) Improves the docstring and changes the name to be more appropriate (the lemma has nothing to do with essential images).