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






leanprover-community/mathlib,leanprover-community/mathlib