Database
BASIC ALGEBRAIC STRUCTURES
Monoids
Free monoids
cfrmd
Next ⟩
cvrmd
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cfrmd
Description:
Extend class definition with the free monoid construction.
Ref
Expression
Assertion
cfrmd
class freeMnd