Fox's theorem and cocommutativity

Last updated Oct 4, 2022

See also

• List opmonoidal comonad