Metamath Proof Explorer


Syntax definition cmcls

Description: The closure of a set of statements.

Ref Expression
Assertion cmcls class mCls