Commit 2020-12-14 02:41 714bc15f
View on Github →feat(category_theory/adjunction): adjoint lifting theorems (#5118) Proves the adjoint lifting theorem and the adjoint triangle theorem. The intent here is for all but the last four statements in the file to be implementation.