mathlib

d344310e - chore(category_theory/monoidal): some arguments that need to be made explicit in 3.8