Metamath Proof Explorer


Syntax definition cmrc

Description: The class function generating Moore closures.

Ref Expression
Assertion cmrc class mrCls