Follow
Finite products in commutative monoids: well-definition, recursion on finite subsets, and why the empty product is $1$ https://arxiv.org/abs/2605.08089 #mathRA
Finite products in commutative monoids: well-definition, recursion on finite subsets, and why the empty product is $1$ https://arxiv.org/abs/2605.08089 #mathRA