cfrmd - Metamath Proof Explorer

	Metamath Proof Explorer		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > cfrmd		Structured version Visualization version GIF version

Syntax Definition cfrmd 18486

Description: Extend class definition with the free monoid construction.

**Assertion**
Ref	Expression
cfrmd	class freeMnd

See definition df-frmd 18488 for more information.

Colors of variables: wff setvar class