Malleable multicategories are promonoidal

Last updated May 24, 2023