Metamath Proof Explorer


Syntax definition cfrmd

Description: Extend class definition with the free monoid construction.

Ref Expression
Assertion cfrmd
class freeMnd