Change to multiplicative terminology for combining finite sequences in semigroups, monoids, and groups#1761
Draft
lowasser wants to merge 7 commits intoUniMath:masterfrom
Draft
Change to multiplicative terminology for combining finite sequences in semigroups, monoids, and groups#1761lowasser wants to merge 7 commits intoUniMath:masterfrom
lowasser wants to merge 7 commits intoUniMath:masterfrom
Commits
Commits on Dec 20, 2025
- committed
- committed
- committed
- committed
- committed
