Cartesian by split

Last updated Oct 4, 2022

Tags: Fox’s theorem and cocommutativity