mathlib3

92e67597 - fix(category_theory/bicategory): remove spaces before closing parentheses (#12700)