Coherence for monoidal categoriesLast updated May 16, 2023Extracting a proof of coherence for monoidal categories from a formal proof of mnormalization for monoids (Beylin, Dybjer)