Coherence for duoidals, wrong statement

Last updated Jul 23, 2024