mathlib3

73ec5b27 - chore(category_theory/closed/monoidal): correct error in doc string (#13385)

chore(category_theory/closed/monoidal): correct error in doc string (#13385) Sorry, should have done this immediately when @b-mehta pointed out my mistake. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>