Normal duoidals are isomix

Last updated Sep 8, 2023

Tags: Mix and isomix, normal duoidal category.