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