mathlib3
8b47563e - chore(category_theory/adjunction): move reflective functor lemmas (#5800)

Commit

5 years ago

chore(category_theory/adjunction): move reflective functor lemmas (#5800) Moves a lemma and describes a generalisation.

Author

b-mehta

Parents