The finite set of symbols in a FreeMonoid element #
This is separated from the main FreeMonoid file, as it imports the finiteness hierarchy
the set of unique symbols in a free monoid element
Instances For
The set of unique symbols in an additive free monoid element
Instances For
@[simp]
@[simp]
@[simp]
@[simp]
@[simp]
@[simp]