walking commutative monoid

Last updated Oct 14, 2024

Tags: monoid, finite sets.