mathlib3
feat(category_theory): adjoint equivalences and limits under equivalences
#986
Merged
Merged