Normal duoidals are isomix

Last updated Feb 3, 2024

Tags: Mix and isomix, normal duoidal category.