Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Algebra
Group or monoid sums over words
Next ⟩
gsumwun
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 21.3.10.5. Group or monoid sums over words
gsumwun
gsumwrd2dccatlem
gsumwrd2dccat