Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Metamath formal systems
cmcls
Next ⟩
cmpps
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cmcls
Description:
The closure of a set of statements.
Ref
Expression
Assertion
cmcls
class
mCls