mathlib

e542154b - feat(category_theory/full_subcategory): full_subcategory.map and full_subcategory.lift (#12335)