mathlib

d3b1dbee - chore(category_theory/adjunction): fix a typo (#15720)