Mix and isomix

Last updated Sep 8, 2023

Tags: linearly distributive category