mathlib

878c44f1 - feat(category_theory/adjunction): restrict adjunction to full subcategory (#3924)