mathlib3

2beaa28a - fix(category_theory/adjunction/basic): Fix typo in docstring (#8950)