Normal duoidals are isomix

Tags: Mix and isomix, normal duoidal category.