Metamath Proof Explorer


Syntax definition cvrmd

Description: Extend class notation with free monoid injection.

Ref Expression
Assertion cvrmd class varFMnd