Metamath Proof Explorer

Syntax definition cfrmd

Description: Extend class definition with the free monoid construction.

Ref Expression
Assertion cfrmd class freeMnd